Bruno Blanchet

Cited by

	All	Since 2016
Citations	8109	2812
h-index	40	25
i10-index	55	44

560

280

140

420

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202133 58 92 148 223 301 275 417 452 457 403 469 455 445 471 404 346 510 542 464 496 446

Public access

View all

7 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 Nancy, LORIA, FranceVerified email at inria.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
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
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
Avik ChaudhuriSoftware Engineer, FacebookVerified email at fb.com
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
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	1326	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	859	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	467	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	428	2008
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	387	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	287	2002
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	277	2009
Automatic proof of strong secrecy for security protocols B Blanchet IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 86-100, 2004	234	2004
Analyzing security protocols with secrecy types and logic programs M Abadi, B Blanchet Journal of the ACM (JACM) 52 (1), 102-146, 2005	214	2005
From secrecy to authenticity in security protocols B Blanchet International Static Analysis Symposium, 342-359, 2002	205	2002
ProVerif 2.00: automatic cryptographic protocol verifier, user manual and tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre Version from, 05-16, 2018	202*	2018
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	196	2016
Secrecy types for asymmetric communication M Abadi, B Blanchet International Conference on Foundations of Software Science and Computation …, 2001	153	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	144	2002
Escape analysis for Java^TM Theory and practice B Blanchet ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 713-775, 2003	140	2003
Automated security proofs with sequences of games B Blanchet, D Pointcheval Annual International Cryptology Conference, 537-554, 2006	137	2006
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	134	2017
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	133	2010
Verification of cryptographic protocols: Tagging enforces termination B Blanchet, A Podelski International Conference on Foundations of Software Science and Computation …, 2003	121	2003
Just fast keying in the pi calculus M Abadi, B Blanchet, C Fournet ACM Transactions on Information and System Security (TISSEC) 10 (3), 9-es, 2007	119	2007

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