Rohit Chadha

Cited by

	All	Since 2018
Citations	1276	447
h-index	18	10
i10-index	35	11

100

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 13 15 33 36 38 47 55 67 49 75 71 83 74 47 94 87 82 70 76 84 48

Public access

View all

16 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Aravinda Prasad SistlaProfessor of Computer Science, University of Illinois at ChicagoVerified email at uic.edu
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Steve KremerInriaVerified email at inria.fr
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Matthew S. BauerUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Vincent ChevalInria Paris, FranceVerified email at inria.fr
Umang MathurPresidential Young Professor at National University of SingaporeVerified email at comp.nus.edu.sg
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerified email at ist.utl.pt
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Gergei BanaUniversity of MIssouriVerified email at math.upenn.edu
Ajay Kumar EerallaDepartment of Computer Science, University of MissouriVerified email at mail.missouri.edu
Stéphanie DelauneUniv Rennes, CNRS, IRISAVerified email at irisa.fr
Dileep KiniUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt

Rohit Chadha

University of Missouri

Verified email at missouri.edu

Formal methods Security Software Verification Applications of Logic to Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	188	2016
Inductive methods and contract-signing protocols R Chadha, M Kanovich, A Scedrov Proceedings of the 8th ACM Conference on Computer and Communications …, 2001	100	2001
Formal analysis of multiparty contract signing R Chadha, S Kremer, A Scedrov Journal of Automated Reasoning 36 (1-2), 39-83, 2006	94	2006
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	79	2010
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	63	2006
Epistemic logic for the applied pi calculus R Chadha, S Delaune, S Kremer International Conference on Formal Methods for Open Object-Based Distributed …, 2009	51	2009
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	50	2007
Contract signing, optimism, and advantage R Chadha, JC Mitchell, A Scedrov, V Shmatikov International Conference on Concurrency Theory, 366-382, 2003	45	2003
Power of randomization in automata on infinite strings R Chadha, AP Sistla, M Viswanathan Logical Methods in Computer Science 7, 2011	43	2011
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	40	2008
Decidability results for well-structured transition systems with auxiliary storage R Chadha, M Viswanathan International Conference on Concurrency Theory, 136-150, 2007	35	2007
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	34	2009
A hybrid intuitionistic logic: Semantics and decidability R Chadha, D Macedonio, V Sassone Journal of Logic and Computation 16 (1), 27-59, 2006	28	2006
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	24	2009
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	23	2020
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	22	2011
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	19	2017
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	19	2005
Reachability under contextual locking R Chadha, P Madhusudan, M Viswanathan International Conference on Tools and Algorithms for the Construction and …, 2012	18	2012
Verification methods for the computationally complete symbolic attacker based on indistinguishability G Bana, R Chadha, AK Eeralla, M Okada ACM Transactions on Computational Logic (TOCL) 21 (1), 1-44, 2019	17	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors