| 2017 | TrustCom | Design and Analysis of a Modified Remote Attestation Protocol. | Monika Santra, Sateesh Kumar Peddoju, A. K. Bhattacharjee, Arindam Khan |
| 2015 | ICISS | Watermark Removal Attack Extended to Forgery Against Correlation-Based Watermarking Schemes. | Toshanlal Meenpal, A. K. Bhattacharjee |
| 2012 | COMSNETS | IDS alerts classification using knowledge-based evaluation. | Dheeraj Gupta, P. S. Joshi, A. K. Bhattacharjee, R. S. Mundada |
| 2008 | APSCC | ScriptOrc: A Specification Language for Web Service Choreography. | A. K. Bhattacharjee, R. K. Shyamasundar |
| 2008 | ICWS | Choreography = Orchestration with Scripts + Conversations. | A. K. Bhattacharjee, R. K. Shyamasundar |
| 2007 | SAFECOMP | Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. | Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 2005 | ICDCIT | Validated Code Generation for Activity Diagrams. | A. K. Bhattacharjee, R. K. Shyamasundar |
| 2003 | SAFECOMP | Visual Modeling and Verification of Distributed Reactive Systems. | Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 1999 | FM | A Translation of Statecharts to Esterel. | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
| 1999 | SAFECOMP | A Graphical Environment for the Specification and Verification of Reactive Systems. | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |