Rohit Chadha
Titel
Citeras av
Citeras av
År
Automated verification of equivalence properties of cryptographic protocols
R Chadha, V Cheval, Ş Ciobâcă, S Kremer
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-32, 2016
1382016
Inductive methods and contract-signing protocols
R Chadha, M Kanovich, A Scedrov
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
942001
Formal analysis of multiparty contract signing
R Chadha, S Kremer, A Scedrov
Journal of Automated Reasoning 36 (1-2), 39-83, 2006
912006
A counterexample-guided abstraction-refinement framework for Markov decision processes
R Chadha, M Viswanathan
ACM Transactions on Computational Logic (TOCL) 12 (1), 1-49, 2010
682010
Epistemic logic for the applied pi calculus
R Chadha, S Delaune, S Kremer
Formal Techniques for Distributed Systems, 182-197, 2009
462009
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
452007
Power of randomization in automata on infinite strings
R Chadha, AP Sistla, M Viswanathan
International Conference on Concurrency Theory, 229-243, 2009
432009
Contract signing, optimism, and advantage
R Chadha, JC Mitchell, A Scedrov, V Shmatikov
International Conference on Concurrency Theory, 366-382, 2003
432003
Reasoning about imperative quantum programs
R Chadha, P Mateus, A Sernadas
Electronic Notes in Theoretical Computer Science 158, 19-39, 2006
422006
On the expressiveness and complexity of randomization in finite state monitors
R Chadha, AP Sistla, M Viswanathan
Journal of the ACM (JACM) 56 (5), 1-44, 2009
342009
Quantum computation tree logic—model checking and complete calculus
P Baltazar, R Chadha, P Mateus
International Journal of Quantum Information 6 (02), 219-236, 2008
322008
Decidability results for well-structured transition systems with auxiliary storage
R Chadha, M Viswanathan
International Conference on Concurrency Theory, 136-150, 2007
302007
A hybrid intuitionistic logic: Semantics and decidability
R Chadha, D Macedonio, V Sassone
Journal of Logic and Computation 16 (1), 27-59, 2006
252006
Extending classical logic for reasoning about quantum systems
R Chadha, P Mateus, A Sernadas, C Sernadas
Handbook of Quantum Logic and Quantum Structures: Quantum Logic, 325-372, 2009
212009
Contract signing, optimism, and advantage
R Chadha, JC Mitchell, A Scedrov, V Shmatikov
The Journal of Logic and Algebraic Programming 64 (2), 189-218, 2005
182005
Reachability under contextual locking
R Chadha, P Madhusudan, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2012
162012
Model checking MDPs with a unique compact invariant set of distributions
R Chadha, VA Korthikanti, M Viswanathan, G Agha, Y Kwon
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
162011
Modular preservation of safety properties by cookie-based DoS-protection wrappers
R Chadha, CA Gunter, J Meseguer, R Shankesi, M Viswanathan
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
152008
Towards model-checking quantum security protocols
P Baltazar, R Chadha, P Mateus, A Sernadas
2007 First International Conference on Quantum, Nano, and Micro Technologies …, 2007
152007
Computing information flow using symbolic model-checking
R Chadha, U Mathur, S Schwoon
34th International Conference on Foundation of Software Technology and …, 2014
132014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20