Seguir
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
1922016
Inductive methods and contract-signing protocols
R Chadha, M Kanovich, A Scedrov
Proceedings of the 8th ACM Conference on Computer and Communications …, 2001
992001
Formal analysis of multiparty contract signing
R Chadha, S Kremer, A Scedrov
Journal of Automated Reasoning 36 (1), 39-83, 2006
982006
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
772010
Reasoning about imperative quantum programs
R Chadha, P Mateus, A Sernadas
Electronic Notes in Theoretical Computer Science 158, 19-39, 2006
642006
Epistemic logic for the applied pi calculus
R Chadha, S Delaune, S Kremer
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
502009
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
502007
Contract signing, optimism, and advantage
R Chadha, JC Mitchell, A Scedrov, V Shmatikov
International Conference on Concurrency Theory, 366-382, 2003
472003
Power of randomization in automata on infinite strings
R Chadha, AP Sistla, M Viswanathan
Logical Methods in Computer Science 7, 2011
412011
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
402008
Decidability results for well-structured transition systems with auxiliary storage
R Chadha, M Viswanathan
International Conference on Concurrency Theory, 136-150, 2007
352007
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
A hybrid intuitionistic logic: Semantics and decidability
R Chadha, D Macedonio, V Sassone
Journal of Logic and Computation 16 (1), 27-59, 2006
272006
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
252009
Deciding differential privacy for programs with finite inputs and outputs
G Barthe, R Chadha, V Jagannath, AP Sistla, M Viswanathan
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
242020
Model checking MDPs with a unique compact invariant set of distributions
R Chadha, VA Korthikanti, M Viswanathan, G Agha, YM Kwon
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
232011
Verification of randomized security protocols
R Chadha, AP Sistla, M Viswanathan
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
192017
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
192005
Formal analysis of vote privacy using computationally complete symbolic attacker
G Bana, R Chadha, AK Eeralla
European Symposium on Research in Computer Security, 350-372, 2018
182018
Reachability under contextual locking
R Chadha, P Madhusudan, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2012
182012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20