| 2025 | SMC | Formalisation and Analysis of Decoy QKD in the Isabelle Infrastructure and Insider framework using Refinement and Attack Trees. | Florian Kammller, Rajagopal Nagarajan, Michael C. Parker, Catherine White |
| 2024 | ESORICS | Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf. | Florian Kammller, Luca Piras, Bob Fields, Rajagopal Nagarajan |
| 2020 | ICSE | Property-based Testing of Quantum Programs in Q#. | Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan |
| 2020 | TACAS | Describing and Simulating Concurrent Quantum Systems. | Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan |
| 2014 | TACAS | Verification of Concurrent Quantum Protocols by Equivalence Checking. | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
| 2013 | FlAIRS | A Temporal Logic for Planning under Uncertainty. | Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan |
| 2013 | TACAS | Equivalence Checking of Quantum Protocols. | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
| 2008 | CAV | QMC: A Model Checker for Quantum Systems. | Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou |
| 2005 | POPL | Communicating quantum processes. | Simon J. Gay, Rajagopal Nagarajan |
| 2004 | ISIT | On feedback and the classical capacity of a noisy quantum channel. | Garry Bowen, Rajagopal Nagarajan |
| 1995 | LICS | A Typed Calculus of Synchronous Processes | Simon J. Gay, Rajagopal Nagarajan |