Rohit Chadha

Cited by

	All	Since 2020
Citations	1371	360
h-index	19	10
i10-index	38	10

100

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 13 15 34 36 35 49 57 65 50 78 73 85 70 45 97 87 86 66 78 83 57 70 6

Public access

View all

20 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
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Steve KremerInriaVerified email at inria.fr
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 ChevalUniversity of Oxford, United KingdomVerified email at cs.ox.ac.uk
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
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
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Dileep KiniUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Vijay Anand KorthikantiPrincipal Research Scientist, NvidiaVerified email at uiuc.edu

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	204	2016
Inductive methods and contract-signing protocols R Chadha, M Kanovich, A Scedrov Proceedings of the 8th ACM Conference on Computer and Communications …, 2001	101	2001
Formal analysis of multiparty contract signing R Chadha, S Kremer, A Scedrov Journal of Automated Reasoning 36 (1), 39-83, 2006	100	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	80	2010
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	73	2006
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	57	2007
Epistemic logic for the applied pi calculus R Chadha, S Delaune, S Kremer International Conference on Formal Methods for Open Object-Based Distributed …, 2009	53	2009
Contract signing, optimism, and advantage R Chadha, JC Mitchell, A Scedrov, V Shmatikov International Conference on Concurrency Theory, 366-382, 2003	49	2003
Power of randomization in automata on infinite strings R Chadha, AP Sistla, M Viswanathan Logical Methods in Computer Science 7, 2011	44	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	42	2008
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	39	2009
Decidability results for well-structured transition systems with auxiliary storage R Chadha, M Viswanathan International Conference on Concurrency Theory, 136-150, 2007	35	2007
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	30	2020
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
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	25	2011
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
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	20	2005
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	19	2019
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	19	2018
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

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