Bruno Blanchet

Dikutip oleh

	Semua	Sejak 2020
Kutipan	10382	3086
indeks-h	44	24
indeks-i10	59	38

640

320

160

480

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 56 97 139 250 296 286 423 458 468 408 444 498 431 468 402 370 495 569 474 537 614 607 631 618 77

Akses publik

Lihat semua

9 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail yang diverifikasi di cs.ucsc.edu
Vincent ChevalUniversity of Oxford, United KingdomEmail yang diverifikasi di cs.ox.ac.uk
Cédric FournetMicrosoft ResearchEmail yang diverifikasi di microsoft.com
David MonniauxResearcher in computer science, CNRS, VERIMAGEmail yang diverifikasi di univ-grenoble-alpes.fr
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityEmail yang diverifikasi di cims.nyu.edu
Xavier RivalDirecteur de Recherche, INRIAEmail yang diverifikasi di inria.fr
Antoine MinéSorbonne Université, LIP6, APREmail yang diverifikasi di lip6.fr
Karthikeyan BhargavanINRIAEmail yang diverifikasi di inria.fr
Jérôme FeretChargé de recherche, Inria ParisEmail yang diverifikasi di inria.fr
Nadim KobeissiSymbolic SoftwareEmail yang diverifikasi di symbolic.software
David PointchevalChief Scientific Officer at CosmianEmail yang diverifikasi di ens.fr
Hubert Comon-LundhComputer Science professor, ENS CachanEmail yang diverifikasi di lsv.ens-cachan.fr
Cas CremersCISPA Helmholtz Center for Information SecurityEmail yang diverifikasi di cispa.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail yang diverifikasi di informatik.uni-freiburg.de
Benjamin LippPost-doctoral researcher, MPI-SPEmail yang diverifikasi di mpi-sp.org
Aaron D. JaggardU.S. Naval Research LaboratoryEmail yang diverifikasi di dimacs.rutgers.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di math.upenn.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECEmail yang diverifikasi di fc.up.pt
Bryan ParnoCarnegie Mellon UniversityEmail yang diverifikasi di cmu.edu
Kevin LiaoHarvard Law School, Massachusetts Institute of TechnologyEmail yang diverifikasi di mit.edu

Ikuti

Bruno Blanchet

Senior researcher, INRIA, Paris

Email yang diverifikasi di inria.fr - Beranda

formal methods security protocols program analysis


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
An E cient Cryptographic Protocol Verifier Based on Prolog Rules B Blanchet 14th IEEE Computer Security Foundations Workshop (CSFW-14), 82-96, 2001	1560	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	499	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	432	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	213	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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama