Bruno Blanchet

Citée par

	Toutes	Depuis 2018
Citations	9143	2961
indice h	42	26
indice i10	59	41

620

310

155

465

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202334 50 96 136 234 302 273 405 471 448 401 444 488 433 490 408 352 500 552 471 534 588 614 199

Accès public

Tout afficher

7 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu
Vincent ChevalInria Paris, FranceAdresse e-mail validée de inria.fr
Cédric FournetMicrosoft ResearchAdresse e-mail validée de microsoft.com
David MonniauxResearcher in computer science, CNRS, VERIMAGAdresse e-mail validée de univ-grenoble-alpes.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityAdresse e-mail validée de cims.nyu.edu
Xavier RivalDirecteur de Recherche, INRIAAdresse e-mail validée de inria.fr
Antoine MinéSorbonne Université, LIP6, APRAdresse e-mail validée de lip6.fr
Karthikeyan BhargavanINRIAAdresse e-mail validée de inria.fr
Jérôme FeretChargé de recherche, Inria ParisAdresse e-mail validée de inria.fr
Nadim KobeissiSymbolic SoftwareAdresse e-mail validée de symbolic.software
David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaAdresse e-mail validée de ens.fr
Hubert Comon-LundhComputer Science professor, ENS CachanAdresse e-mail validée de lsv.ens-cachan.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityAdresse e-mail validée de informatik.uni-freiburg.de
Benjamin LippPost-doctoral researcher, MPI-SPAdresse e-mail validée de mpi-sp.org
Aaron D. JaggardU.S. Naval Research LaboratoryAdresse e-mail validée de dimacs.rutgers.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de math.upenn.edu
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECAdresse e-mail validée de fc.up.pt
Bryan ParnoCarnegie Mellon UniversityAdresse e-mail validée de cmu.edu
Kevin LiaoMassachusetts Institute of Technology (MIT)Adresse e-mail validée de mit.edu

Suivre

Bruno Blanchet

Senior researcher, INRIA Paris

Adresse e-mail validée de inria.fr - Page d'accueil

formal methods security protocols program analysis


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
An efficient cryptographic protocol verifier based on prolog rules. B Blanchet csfw 1, 82-96, 2001	1433	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	929	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	496	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	461	2008
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	395	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: complexity, analysis, transformation, 85-108, 2002	305	2002
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	301	2016
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	297	2009
ProVerif 2.00: automatic cryptographic protocol verifier, user manual and tutorial B Blanchet, B Smyth, V Cheval, M Sylvestre Version from, 05-16, 2018	269*	2018
Automatic proof of strong secrecy for security protocols B Blanchet IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 86-100, 2004	243	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	220	2017
Analyzing security protocols with secrecy types and logic programs M Abadi, B Blanchet Journal of the ACM (JACM) 52 (1), 102-146, 2005	220	2005
From secrecy to authenticity in security protocols B Blanchet Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain …, 2002	205	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	161	2017
Automatic verification of security protocols in the symbolic model: The verifier proverif B Blanchet Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial …, 2014	158	2014
Secrecy types for asymmetric communication M Abadi, B Blanchet Foundations of Software Science and Computation Structures: 4th …, 2001	158	2001
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	152	2010
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	151	2017
Escape analysis for Java^TM Theory and practice B Blanchet ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 713-775, 2003	150	2003
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs