Rohit Chadha
Título
Citado por
Citado por
Año
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
1292016
Formal analysis of multiparty contract signing
R Chadha, S Kremer, A Scedrov
Journal of Automated Reasoning 36 (1-2), 39-83, 2006
912006
Inductive methods and contract-signing protocols
R Chadha, M Kanovich, A Scedrov
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
912001
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
652010
Epistemic logic for the applied pi calculus
R Chadha, S Delaune, S Kremer
Formal Techniques for Distributed Systems, 182-197, 2009
452009
Contract signing, optimism, and advantage
R Chadha, JC Mitchell, A Scedrov, V Shmatikov
International Conference on Concurrency Theory, 366-382, 2003
442003
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
432007
Power of randomization in automata on infinite strings
R Chadha, AP Sistla, M Viswanathan
International Conference on Concurrency Theory, 229-243, 2009
422009
Reasoning about imperative quantum programs
R Chadha, P Mateus, A Sernadas
Electronic Notes in Theoretical Computer Science 158, 19-39, 2006
382006
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
312008
Decidability results for well-structured transition systems with auxiliary storage
R Chadha, M Viswanathan
International Conference on Concurrency Theory, 136-150, 2007
292007
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
Computing information flow using symbolic model-checking
R Chadha, U Mathur, S Schwoon
34th International Conference on Foundation of Software Technology and …, 2014
132014
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
132007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20