| 2024 | MEMOCODE | Logical Synchrony Plus Functional Processes Entail Observable Determinacy. | Sanjiva Prasad |
| 2021 | ICTAC | Normalising Lustre Preserves Security. | Sanjiva Prasad, R. Madhukar Yerraguntla |
| 2020 | MEMOCODE | Security Types for Synchronous Data Flow Systems. | Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma |
| 2019 | DAC | DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring. | Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shubham Gupta, Shikhar Tuli |
| 2019 | FORTE | Only Connect, Securely. | Chandrika Bhardwaj, Sanjiva Prasad |
| 2018 | COMPSAC | Lightweight Classification of IoT Malware Based on Image Recognition. | Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai |
| 2015 | HealthCom | Parametric information flow control in ehealth. | Chandrika Bhardwaj, Sanjiva Prasad |
| 2015 | ICDCIT | Designing for Scalability and Trustworthiness in mHealth Systems. | Sanjiva Prasad |
| 2014 | HPCC | Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures. | Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad |
| 2012 | ISPA | ReKonf: A Reconfigurable Adaptive ManyCore Architecture. | Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad |
| 2007 | SIGCOMM | An axiomatic basis for communication. | Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg |
| 2006 | HOTNETS | An Axiomatic Basis for Communication. | Martin Karsten, Srinivasan Keshav, Sanjiva Prasad |
| 2005 | ICDCIT | Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting. | Rahul Agarwal, Mahender Bisht, S. N. Maheshwari, Sanjiva Prasad |
| 1998 | CONCUR | Modelling IP Mobility. | Roberto M. Amadio, Sanjiva Prasad |
| 1990 | ICALP | Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. | Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra |