- Towards model-checking quantum security protocols P. Baltazar, R. Chadha
- Reasoning about states of probabilistic sequential R. Chadha, P. Mateus and A. Sernadas
- Least Upper Bounds for Probability Measures and their Applications to Abstractions
- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
- A FORMAL ANALYSIS OF EXCHANGE OF DIGITAL Rohit Chadha
- On the Expressiveness and Complexity of Randomization in Finite State Monitors
- Reasoning about probabilistic sequential R. Chadha b,4,2
- Extending classical logic for reasoning about quantum systems
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Deciding Branching Time Properties for Asynchronous Programs
- Epistemic Logic for the Applied Pi Calculus Rohit Chadha1
- A Hybrid Intuitionistic Logic: Semantics and Decidability
- Formal analysis of multi-party contract signing Rohit Chadha (rchadha@sussex.ac.uk)
- Formal analysis of multi-party contract signing Rohit Chadha
- A Distributed Kripke Semantics ROHIT CHADHA, DAMIANO MACEDONIO and VLADIMIRO SASSONE
- Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
- Contract Signing, Optimism, and Advantage Rohit Chadha , John C. Mitchell, Andre Scedrov, and Vitaly Shmatikov
