| 2026 | AAAI | Privacy Preserving In-Context-Learning Framework for Large Language Models. | Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha |
| 2025 | CCS | Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. | Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2025 | HCI | Privacy Nutrition Labels: Promise, Practice, and Paradoxes in Communicating Privacy. | Bishnu Bhusal, Yuanye Ma, Rohit Chadha |
| 2023 | CCS | Deciding Differential Privacy of Online Algorithms with Multiple Variables. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal |
| 2023 | TACAS | Stack-Aware Hyperproperties. | Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan |
| 2021 | LICS | On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2020 | ICFP | Strongly bounded termination with applications to security and hardware synthesis. | Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein |
| 2020 | LICS | Deciding Differential Privacy for Programs with Finite Inputs and Outputs. | Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | CAV | Model Checking Indistinguishability of Randomized Security Protocols. | Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | CSL | Approximating Probabilistic Automata by Regular Languages. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | ESORICS | Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker. | Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla |
| 2017 | ESORICS | Modular Verification of Protocol Equivalence in the Presence of Randomness. | Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan |
| 2017 | FMCAD | Exact quantitative probabilistic model checking through rational search. | Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | FOSSACS | Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | LICS | Verification of randomized security protocols. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2015 | FOSSACS | Decidable and Expressive Classes of Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben |
| 2013 | FOSSACS | Bounded Context-Switching and Reentrant Locking. | Rmi Bonnet, Rohit Chadha |
| 2013 | MFCS | Probabilistic Automata with Isolated Cut-Points. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2012 | ESOP | Automated Verification of Equivalence Properties of Cryptographic Protocols. | Rohit Chadha, Stefan Ciobaca, Steve Kremer |
| 2012 | TACAS | Reachability under Contextual Locking. | Rohit Chadha, P. Madhusudan, Mahesh Viswanathan |
| 2011 | VMCAI | Probabilistic Bchi Automata with Non-extremal Acceptance Thresholds. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2010 | VMCAI | Complexity Bounds for the Verification of Real-Time Software. | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan |
| 2009 | CONCUR | Power of Randomization in Automata on Infinite Strings. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2009 | FORTE | Epistemic Logic for the Applied Pi Calculus. | Rohit Chadha, Stphanie Delaune, Steve Kremer |
| 2008 | CONCUR | Least Upper Bounds for Probability Measures and Their Applications to Abstractions. | Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan |
| 2008 | LICS | On the Expressiveness and Complexity of Randomization in Finite State Monitors. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2007 | CONCUR | Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. | Rohit Chadha, Mahesh Viswanathan |
| 2006 | CSL | Reasoning About States of Probabilistic Sequential Programs. | Rohit Chadha, Paulo Mateus, Amlcar Sernadas |
| 2003 | CONCUR | Contract Signing, Optimism, and Advantage. | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
| 2001 | CCS | Inductive methods and contract-signing protocols. | Rohit Chadha, Max I. Kanovich, Andre Scedrov |