Rohit Chadha

Available identifiers

zbMath Open chadha.rohitMaRDI QIDQ732002

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2851315	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2851801	2013-10-04	Paper
Reachability under Contextual Locking	2013-09-26	Paper
Bounded Context-Switching and Reentrant Locking	2013-03-18	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rohit Chadha