Bruno Blanchet 个人学术档案

引用次数

	总计	2019 年至今
引用	9940	3154
h 指数	44	26
i10 指数	59	37

680

340

170

510

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 56 97 139 250 295 285 419 458 465 405 444 501 428 468 399 365 491 568 472 521 607 602 666 282

开放获取的出版物数量

查看全部

9 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的电子邮件经过验证
Vincent ChevalUniversity of Oxford, United Kingdom在 cs.ox.ac.uk 的电子邮件经过验证
Cédric FournetMicrosoft Research在 microsoft.com 的电子邮件经过验证
David MonniauxResearcher in computer science, CNRS, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University在 cims.nyu.edu 的电子邮件经过验证
Xavier RivalDirecteur de Recherche, INRIA在 inria.fr 的电子邮件经过验证
Antoine MinéSorbonne Université, LIP6, APR在 lip6.fr 的电子邮件经过验证
Karthikeyan BhargavanINRIA在 inria.fr 的电子邮件经过验证
Jérôme FeretChargé de recherche, Inria Paris在 inria.fr 的电子邮件经过验证
David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, Inria在 ens.fr 的电子邮件经过验证
Hubert Comon-LundhComputer Science professor, ENS Cachan在 lsv.ens-cachan.fr 的电子邮件经过验证
Andreas PodelskiProfessor of Computer Science, Freiburg University在 informatik.uni-freiburg.de 的电子邮件经过验证
Cas CremersCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Aaron D. JaggardU.S. Naval Research Laboratory在 dimacs.rutgers.edu 的电子邮件经过验证
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania在 math.upenn.edu 的电子邮件经过验证
Benjamin LippPost-doctoral researcher, MPI-SP在 mpi-sp.org 的电子邮件经过验证
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TEC在 fc.up.pt 的电子邮件经过验证
Bryan ParnoCarnegie Mellon University在 cmu.edu 的电子邮件经过验证
Kevin LiaoMassachusetts Institute of Technology (MIT)在 mit.edu 的电子邮件经过验证
Gilles BartheMPI-SP and IMDEA Software Institute在 mpi-sp.org 的电子邮件经过验证

关注

Bruno Blanchet

Senior researcher, INRIA, Paris

在 inria.fr 的电子邮件经过验证 - 首页

formal methods security protocols program analysis


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
An E cient Cryptographic Protocol Verifier Based on Prolog Rules B Blanchet 14th IEEE Computer Security Foundations Workshop (CSFW-14), 82-96, 2001	1517	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	514	2008
A computationally sound mechanized prover for security protocols B Blanchet Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008	487	2008
Escape analysis for object-oriented languages: application to Java B Blanchet Acm Sigplan Notices 34 (10), 20-34, 1999	398	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	384	2016
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	329*	2018
Automatic verification of correspondences for security protocols B Blanchet Journal of Computer Security 17 (4), 363-434, 2009	314	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	307	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	284	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	219	2005
From secrecy to authenticity in security protocols B Blanchet International Static Analysis Symposium, 342-359, 2002	214	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	190	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	189	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	181	2017
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	179	2021
Security Protocol Verification: Symbolic and Computational Models B Blanchet First Conference on Principles of Security and Trust (POST'12), 3-29, 2012	165	2012
ProVerif: Cryptographic protocol verifier in the formal model B Blanchet, V Cheval, X Allamigeon, B Smyth	163	2010
Secrecy types for asymmetric communication M Abadi, B Blanchet International Conference on Foundations of Software Science and Computation …, 2001	156	2001

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用