Bruno Blanchet

Cited by

	All	Since 2017
Citations	8453	2826
h-index	41	24
i10-index	56	43

620

310

155

465

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202234 57 88 145 225 297 268 419 451 459 402 460 454 440 471 406 351 518 542 466 554 610 130

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Vincent ChevalInria Paris, FranceVerified email at inria.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Karthikeyan BhargavanINRIAVerified email at inria.fr
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
Nadim KobeissiSymbolic SoftwareVerified email at symbolic.software
David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerified email at ens.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Aaron D. JaggardU.S. Naval Research LaboratoryVerified email at dimacs.rutgers.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Avik ChaudhuriSoftware Engineer, FacebookVerified email at fb.com
Benjamin LippPhD Candidate, InriaVerified email at inria.fr
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu

Bruno Blanchet

Senior researcher, INRIA Paris

Verified email at inria.fr - Homepage

formal methods security protocols program analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An efficient cryptographic protocol verifier based on prolog rules. B Blanchet csfw 1, 82-96, 2001	1351	2001
A static analyzer for large safety-critical software B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ... Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003	877	2003
Automated verification of selected equivalences for security protocols B Blanchet, M Abadi, C Fournet The Journal of Logic and Algebraic Programming 75 (1), 3-51, 2008	471	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	449	2008
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	389	1999
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ... The essence of computation, 85-108, 2002	292	2002
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	285	2009
Automatic proof of strong secrecy for security protocols B Blanchet IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 86-100, 2004	238	2004
Modeling and verifying security protocols with the applied pi calculus and ProVerif B Blanchet Foundations and Trends® in Privacy and Security 1 (1-2), 1-135, 2016	229	2016
ProVerif 2.00: automatic cryptographic protocol verifier, user manual and tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre Version from, 05-16, 2018	228*	2018
Analyzing security protocols with secrecy types and logic programs M Abadi, B Blanchet Journal of the ACM (JACM) 52 (1), 102-146, 2005	215	2005
From secrecy to authenticity in security protocols B Blanchet International Static Analysis Symposium, 342-359, 2002	203	2002
Verified models and reference implementations for the TLS 1.3 standard candidate K Bhargavan, B Blanchet, N Kobeissi 2017 IEEE Symposium on Security and Privacy (SP), 483-502, 2017	169	2017
Secrecy types for asymmetric communication M Abadi, B Blanchet International Conference on Foundations of Software Science and Computation …, 2001	152	2001
Analyzing security protocols with secrecy types and logic programs M Abadi, B Blanchet Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	143	2002
Escape analysis for Java^TM Theory and practice B Blanchet ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 713-775, 2003	141	2003
Automated security proofs with sequences of games B Blanchet, D Pointcheval Annual International Cryptology Conference, 537-554, 2006	140	2006
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	139	2010
Automatic verification of security protocols in the symbolic model: The verifier proverif B Blanchet Foundations of security analysis and design VII, 54-87, 2013	136	2013
Automated verification for secure messaging protocols and their implementations: A symbolic and computational approach N Kobeissi, K Bhargavan, B Blanchet 2017 IEEE European symposium on security and privacy (EuroS&P), 435-450, 2017	129	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 this author

Cited by

Co-authors