Bruno Blanchet

Cited by

	All	Since 2020
Citations	10379	3083
h-index	44	24
i10-index	59	38

640

320

160

480

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 56 97 139 250 295 286 423 458 468 408 443 499 431 468 402 370 495 569 474 537 614 608 631 618 73

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
Vincent ChevalUniversity of Oxford, United KingdomVerified email at cs.ox.ac.uk
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, 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 PointchevalChief Scientific Officer at CosmianVerified email at ens.fr
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Benjamin LippPost-doctoral researcher, MPI-SPVerified email at mpi-sp.org
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
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Kevin LiaoHarvard Law School, Massachusetts Institute of TechnologyVerified email at mit.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 E cient Cryptographic Protocol Verifier Based on Prolog Rules B Blanchet 14th IEEE Computer Security Foundations Workshop (CSFW-14), 82-96, 2001	1559	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	964	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	526	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	498	2008
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	433	2016
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	400	1999
ProVerif 2.00: automatic cryptographic protocol verifier, user manual and tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre Version from 16, 05-16, 2018	382*	2018
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	317	2009
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: complexity, analysis, transformation, 85-108, 2002	313	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	310	2017
Automatic proof of strong secrecy for security protocols B Blanchet IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 86-100, 2004	261	2004
SoK: Computer-aided cryptography M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ... 2021 IEEE symposium on security and privacy (SP), 777-795, 2021	224	2021
Analyzing security protocols with secrecy types and logic programs M Abadi, B Blanchet Journal of the ACM (JACM) 52 (1), 102-146, 2005	222	2005
From secrecy to authenticity in security protocols B Blanchet International Static Analysis Symposium, 342-359, 2002	218	2002
Automatic verification of security protocols in the symbolic model: The verifier proverif B Blanchet International School on Foundations of Security Analysis and Design, 54-87, 2012	212	2012
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	202	2017
The applied pi calculus: Mobile values, new names, and secure communication M Abadi, B Blanchet, C Fournet Journal of the ACM (JACM) 65 (1), 1-41, 2017	199	2017
Security Protocol Verification: Symbolic and Computational Models B Blanchet First Conference on Principles of Security and Trust (POST'12), 3-29, 2012	179	2012
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	174	2010
Secrecy types for asymmetric communication M Abadi, B Blanchet International Conference on Foundations of Software Science and Computation …, 2001	157	2001

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