Bruno Blanchet

Cited by

	All	Since 2019
Citations	10136	3323
h-index	44	26
i10-index	59	38

640

320

160

480

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 56 97 139 250 295 285 418 458 467 405 445 501 431 477 402 360 496 568 474 525 610 605 624 478

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 PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerified email at ens.fr
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
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
Benjamin LippPost-doctoral researcher, MPI-SPVerified email at mpi-sp.org
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	1541	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	955	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	518	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	493	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	405	2016
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	399	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	348*	2018
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	316	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	312	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	295	2017
Automatic proof of strong secrecy for security protocols B Blanchet IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 86-100, 2004	258	2004
Analyzing security protocols with secrecy types and logic programs M Abadi, B Blanchet Journal of the ACM (JACM) 52 (1), 102-146, 2005	221	2005
From secrecy to authenticity in security protocols B Blanchet International Static Analysis Symposium, 342-359, 2002	214	2002
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	200	2021
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	197	2017
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	197	2012
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	189	2017
Security Protocol Verification: Symbolic and Computational Models B Blanchet First Conference on Principles of Security and Trust (POST'12), 3-29, 2012	170	2012
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	167	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