Rohit Chadha

75 papers A* 8A 3B 14Journal 28Unranked 22
YearRankTypeTitle / Venue / Authors
2026 A* conf
Privacy Preserving In-Context-Learning Framework for Large Language Models.
AAAI
Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha
2025 A* conf
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions.
CCS
Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025 J jnl
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions.
CoRR
Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025 J jnl
Checking δ-Satisfiability of Reals with Integrals.
Proc. ACM Program. Lang.
Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025 — conf
Privacy Nutrition Labels: Promise, Practice, and Paradoxes in Communicating Privacy.
HCI (63)
Bishnu Bhusal, Yuanye Ma, Rohit Chadha
2025 J jnl
Privacy-Aware In-Context Learning for Large Language Models.
CoRR
Bishnu Bhusal, Manoj Acharya, Ramneet Kaur, Colin Samplawski, Anirban Roy, Adam D. Cobb, Rohit Chadha, Susmit Jha
2024 A conf
Deciding Branching Hyperproperties for Real Time Systems.
CSF
Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2024 J jnl
Deciding branching hyperproperties for real time systems.
CoRR
Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2024 — conf
Demonstration of Low-overhead Zero Trust at the Tactical Warfighting Edge.
MILCOM
Saketh Poduvu, Roshan Lal Neupane, Alicia Esquivel Morel, Reshmi Mitra, Vijay Anand, Rohit Chadha, Prasad Calyam
2024 — conf
Task-Based Access Control for Computation and Communication in the Tactical Warfighting Edge.
MILCOM
Saketh Poduvu, Roshan Lal Neupane, Alicia Esquivel Morel, Reshmi Mitra, Vijay Anand, Rohit Chadha, Prasad Calyam
2023 J jnl
Analyzing Component Composability of Cloud Security Configurations.
IEEE Access
Kandasamy Muniasamy, Rohit Chadha, Prasad Calyam, M. Sethumadhavan
2023 A* conf
Deciding Differential Privacy of Online Algorithms with Multiple Variables.
CCS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
2023 J jnl
Deciding Differential Privacy of Online Algorithms with Multiple Variables.
CoRR
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
2023 — conf
Enhancing Computing Curricular Outcomes and Student Accomplishments Through Collegiate Competitions.
CompEd (1)
Vijay Anand, Natalie A. Bolton, Prasad Calyam, Rohit Chadha, Rajendra K. Raj, Sumita Mishra
2023 — conf
Stack-Aware Hyperproperties.
TACAS (1)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2023 J jnl
Stack-Aware Hyperproperties.
CoRR
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2023 — conf
Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents.
AIPR
Prasad Calyam, Mayank Kejriwal, Praveen Rao, Jianlin Cheng, Weichao Wang, Linquan Bai, V. Sriram Siddhardh Nadendla, Sanjay Madria, Sajal K. Das, Rohit Chadha, Khaza Anuarul Hoque, Kannappan Palaniappan, Kiran Neupane, Roshan Lal Neupane, Sankeerth Gandhari, Mukesh Singhal, Lotfi Ben Othmane, Meng Yu, Vijay Anand, Bharat K. Bhargava, Brett Robertson, Kerk F. Kee, Patrice Buzzanell, Natalie A. Bolton, Harsh Taneja
2021 J jnl
Deciding accuracy of differential privacy schemes.
Proc. ACM Program. Lang.
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2021 A* conf
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs.
LICS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2021 J jnl
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs.
CoRR
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2020 J jnl
Deciding Accuracy of Differential Privacy Schemes.
CoRR
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2020 A* conf
Deciding Differential Privacy for Programs with Finite Inputs and Outputs.
LICS
Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
2020 J jnl
Exact quantitative probabilistic model checking through rational search.
Formal Methods Syst. Des.
Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2020 — conf
Modelchecking Safety Properties in Randomized Security Protocols.
Logic, Language, and Security
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2020 — conf
Strongly bounded termination with applications to security and hardware synthesis.
TyDe@ICFP
Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein
2020 J jnl
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.
ACM Trans. Comput. Log.
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla, Mitsuhiro Okada
2019 J jnl
Automated Methods for Checking Differential Privacy.
CoRR
Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
2019 J jnl
Decidable and expressive classes of probabilistic automata.
J. Comput. Syst. Sci.
Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018 B conf
Approximating Probabilistic Automata by Regular Languages.
CSL
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018 — conf
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker.
ESORICS (2)
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla
2018 J jnl
Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker.
IACR Cryptol. ePrint Arch.
Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla
2018 — conf
Model Checking Indistinguishability of Randomized Security Protocols.
CAV (2)
Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017 B conf
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.
FoSSaCS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017 B conf
Exact quantitative probabilistic model checking through rational search.
FMCAD
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017 — conf
Modular Verification of Protocol Equivalence in the Presence of Randomness.
ESORICS (1)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2017 A* conf
Verification of randomized security protocols.
LICS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2016 J jnl
Automated Verification of Equivalence Properties of Cryptographic Protocols.
ACM Trans. Comput. Log.
Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer
2016 — conf
Composing Protocols with Randomized Actions.
POST
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2016 J jnl
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.
IACR Cryptol. ePrint Arch.
Gergei Bana, Rohit Chadha
2015 B conf
Decidable and Expressive Classes of Probabilistic Automata.
FoSSaCS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
2014 — conf
Computing Information Flow Using Symbolic Model-Checking.
FSTTCS
Rohit Chadha, Umang Mathur, Stefan Schwoon
2014 — conf
Decidable Problems for Unary PFAs.
QEST
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
2014 J jnl
Least upper bounds for probability measures and their applications to abstractions.
Inf. Comput.
Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan
2014 — conf
Quantitative Information Flow in Boolean Programs.
POST
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
2013 B conf
Bounded Context-Switching and Reentrant Locking.
FoSSaCS
Rémi Bonnet, Rohit Chadha
2013 B conf
Probabilistic Automata with Isolated Cut-Points.
MFCS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2013 J jnl
Reachability under Contextual Locking.
Log. Methods Comput. Sci.
Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012 A conf
Automated Verification of Equivalence Properties of Cryptographic Protocols.
ESOP
Rohit Chadha, Stefan Ciobaca, Steve Kremer
2012 A conf
Reachability under Contextual Locking.
TACAS
Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012 — conf
The Complexity of Quantitative Information Flow in Recursive Programs.
FSTTCS
Rohit Chadha, Michael Ummels
2011 — conf
Model Checking MDPs with a Unique Compact Invariant Set of Distributions.
QEST
Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2011 J jnl
Power of Randomization in Automata on Infinite Strings
Log. Methods Comput. Sci.
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2011 B conf
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.
VMCAI
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2010 J jnl
A counterexample-guided abstraction-refinement framework for markov decision processes.
ACM Trans. Comput. Log.
Rohit Chadha, Mahesh Viswanathan
2010 B conf
Complexity Bounds for the Verification of Real-Time Software.
VMCAI
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
2010 — conf
Model Checking Concurrent Programs with Nondeterminism and Randomization.
FSTTCS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2009 J jnl
Deciding branching time properties for asynchronous programs.
Theor. Comput. Sci.
Rohit Chadha, Mahesh Viswanathan
2009 — conf
Epistemic Logic for the Applied Pi Calculus.
FMOODS/FORTE
Rohit Chadha, Stéphanie Delaune, Steve Kremer
2009 J jnl
On the expressiveness and complexity of randomization in finite state monitors.
J. ACM
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2009 B conf
Power of Randomization in Automata on Infinite Strings.
CONCUR
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2008 J jnl
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
CoRR
Rohit Chadha, Mahesh Viswanathan
2008 B conf
Least Upper Bounds for Probability Measures and Their Applications to Abstractions.
CONCUR
Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan
2008 — conf
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.
FMOODS
Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan
2008 A* conf
On the Expressiveness and Complexity of Randomization in Finite State Monitors.
LICS
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2007 B conf
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.
CONCUR
Rohit Chadha, Mahesh Viswanathan
2007 J jnl
Reasoning about probabilistic sequential programs.
Theor. Comput. Sci.
Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
2007 — conf
Towards Model-Checking Quantum Security Protocols.
ICQNM
Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas
2006 J jnl
A Hybrid Intuitionistic Logic: Semantics and Decidability.
J. Log. Comput.
Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
2006 J jnl
Formal Analysis of Multiparty Contract Signing.
J. Autom. Reason.
Rohit Chadha, Steve Kremer, Andre Scedrov
2006 B conf
Reasoning About Imperative Quantum Programs.
MFPS
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
2006 B conf
Reasoning About States of Probabilistic Sequential Programs.
CSL
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
2005 J jnl
Contract signing, optimism, and advantage.
J. Log. Algebraic Methods Program.
Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
2004 — conf
Formal Analysis of Multi-Party Contract Signing.
CSFW
Rohit Chadha, Steve Kremer, Andre Scedrov
2003 B conf
Contract Signing, Optimism, and Advantage.
CONCUR
Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
2001 A* conf
Inductive methods and contract-signing protocols.
CCS
Rohit Chadha, Max I. Kanovich, Andre Scedrov