Bruno Blanchet

Cited by

	All	Since 2018
Citations	9575	3356
h-index	44	27
i10-index	60	43

620

310

155

465

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202333 55 97 136 244 295 279 415 460 456 402 446 495 435 475 405 371 495 561 480 530 586 619 577

Public access

View all

8 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 ChevalInria Paris, FranceVerified email at inria.fr
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, 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
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
Benjamin LippPost-doctoral researcher, MPI-SPVerified email at mpi-sp.org
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
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Kevin LiaoMassachusetts Institute of Technology (MIT)Verified email at mit.edu
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org

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	1470	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	945	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	505	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	479	2008
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	399	1999
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	338	2016
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	312	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	311	2002
Automatic proof of strong secrecy for security protocols B Blanchet IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 86-100, 2004	253	2004
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	252	2017
ProVerif 2.00: automatic cryptographic protocol verifier, user manual and tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre Version from, 05-16, 2018	225	2018
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	209	2002
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	180	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	170	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	169	2012
Security Protocol Verification: Symbolic and Computational Models B Blanchet First Conference on Principles of Security and Trust (POST'12), 3-29, 2012	159	2012
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	157	2010
Secrecy types for asymmetric communication M Abadi, B Blanchet International Conference on Foundations of Software Science and Computation …, 2001	157	2001
Escape analysis for Java^TM Theory and practice B Blanchet ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 713-775, 2003	152	2003

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