Rohit Chadha

Available identifiers

zbMath Open chadha.rohitMaRDI QIDQ732002

List of research outcomes

Publication	Date of Publication	Type
Stack-aware hyperproperties	2023-12-13	Paper
Model checking indistinguishability of randomized security protocols	2023-05-05	Paper
Modular verification of protocol equivalence in the presence of randomness	2022-08-25	Paper
Modelchecking safety properties in randomized security protocols	2021-07-08	Paper
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability	2019-11-22	Paper
Automated Verification of Equivalence Properties of Cryptographic Protocols	2017-07-13	Paper
Computing Information Flow Using Symbolic Model-Checking	2017-04-25	Paper
The Complexity of Quantitative Information Flow in Recursive Programs	2017-01-26	Paper
A counterexample-guided abstraction-refinement framework for markov decision processes	2015-09-17	Paper
Least upper bounds for probability measures and their applications to abstractions	2014-02-11	Paper
Reasoning about imperative quantum programs	2013-10-10	Paper
Extending classical logic for reasoning about quantum systems	2013-10-04	Paper
Reachability under contextual locking	2013-09-26	Paper
Probabilistic Automata with Isolated Cut-Points	2013-09-20	Paper
Bounded Context-Switching and Reentrant Locking	2013-03-18	Paper
Model checking concurrent programs with nondeterminism and randomization	2012-08-29	Paper
Reachability under Contextual Locking	2012-06-29	Paper
Automated Verification of Equivalence Properties of Cryptographic Protocols	2012-06-22	Paper
Power of Randomization in Automata on Infinite Strings	2012-04-02	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Complexity Bounds for the Verification of Real-Time Software	2010-01-14	Paper
Deciding branching time properties for asynchronous programs	2009-10-09	Paper
Reasoning About States of Probabilistic Sequential Programs	2009-03-12	Paper
Least Upper Bounds for Probability Measures and Their Applications to Abstractions	2008-11-25	Paper
QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS	2008-11-03	Paper
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage	2008-09-18	Paper
Reasoning about probabilistic sequential programs	2007-07-16	Paper
Formal analysis of multiparty contract signing	2007-01-30	Paper
A Hybrid Intuitionistic Logic: Semantics and Decidability	2006-09-22	Paper
Contract signing, optimism, and advantage	2005-08-01	Paper

Research outcomes over time

This page was built for person: Rohit Chadha