2026 Bruno Blanchet: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	41	8679	8430	202	197	89	9470

Overview

Bruno Blanchet is affiliated with the French Institute for Research in Computer Science and Automation (INRIA) in France.

Their research primarily focuses on the field of Computer Science, with significant contributions across subfields including Artificial Intelligence, Information Systems, Computer Networks and Communications, Computer Vision and Pattern Recognition, and Computational Theory and Mathematics.

Bruno Blanchet's work covers various topics related to cryptographic security and systems. These include:

Cryptographic Implementations and Security
Advanced Authentication Protocols Security
Cryptography and Data Security
Cryptography and Residue Arithmetic
User Authentication and Security Systems
Chaos-based Image/Signal Encryption
Information and Cyber Security

The scientist has published papers in several venues, reflecting a focus on security and theoretical computer science. Frequent publication venues include:

Electronic Proceedings in Theoretical Computer Science
2022 IEEE Symposium on Security and Privacy (SP)
IACR Cryptology ePrint Archive
arXiv (Cornell University)

Recent publications demonstrate a focus on security protocol verification and computational cryptography. Notable papers authored by Bruno Blanchet are:

The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm, 2022, Electronic Proceedings in Theoretical Computer Science
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More, 2022, 2022 IEEE Symposium on Security and Privacy (SP)
CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels), 2023, arXiv (Cornell University)

Additionally, they have contributed to the publication:

SoK: Computer-Aided Cryptography, 2023, IACR Cryptology ePrint Archive (author Manuel Barbosa)

Their frequent coauthors include Joël Alwen, Eduard Hauck, Eike Kiltz, Benjamin Lipp, and Doreen Riepel, indicating collaboration within cryptographic and security research communities.

Best Publications

An efficient cryptographic protocol verifier based on prolog rules

B. Blanchet

1462
Citations
A static analyzer for large safety-critical software

Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jérome Feret

928
Citations
Automated verification of selected equivalences for security protocols

Bruno Blanchet;Martín Abadi;Cédric Fournet

507
Citations
A Computationally Sound Mechanized Prover for Security Protocols

B. Blanchet

439
Citations
Escape analysis for object-oriented languages: application to Java

Bruno Blanchet

399
Citations
Automated verification of selected equivalences for security protocols

B. Blanchet;M. Abadi;C. Fournet

397
Citations
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Bruno Blanchet

353
Citations
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software

Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jérôme Feret

311
Citations
Automatic verification of correspondences for security protocols

Bruno Blanchet

298
Citations
Automatic proof of strong secrecy for security protocols

B. Blanchet

246
Citations
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

Karthikeyan Bhargavan;Bruno Blanchet;Nadim Kobeissi

242
Citations
Analyzing security protocols with secrecy types and logic programs

Martín Abadi;Bruno Blanchet

224
Citations
From Secrecy to Authenticity in Security Protocols

Bruno Blanchet

214
Citations
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Nadim Kobeissi;Karthikeyan Bhargavan;Bruno Blanchet

173
Citations
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

Martín Abadi;Bruno Blanchet;Cédric Fournet

160
Citations
Secrecy Types for Asymmetric Communication

Martín Abadi;Bruno Blanchet

160
Citations
Escape analysis for JavaTM: Theory and practice

Bruno Blanchet

153
Citations
Analyzing security protocols with secrecy types and logic programs

Martín Abadi;Bruno Blanchet

148
Citations
Automated security proofs with sequences of games

Bruno Blanchet;David Pointcheval

145
Citations
ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

Bruno Blanchet;Ben Smyth

96
Citations
ProVerif 1.86: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

Bruno Blanchet;Ben Smyth

5
Citations

Frequent Co-Authors

Martín Abadi Google (United States)

Cédric Fournet Microsoft (United States)

Karthikeyan Bhargavan French Institute for Research in Computer Science and Automation - INRIA

Radhia Cousot Centre national de la recherche scientifique, CNRS

Patrick Cousot New York University

David Pointcheval École Normale Supérieure

Eike Kiltz Ruhr University Bochum

Gilles Barthe Max Planck Institute for Security and Privacy

Bryan Parno Carnegie Mellon University

Andre Scedrov University of Pennsylvania

External Links

Personal website of Bruno Blanchet Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online degrees related to Computer Science in the USA opens the door to numerous dynamic career pathways. For students interested in sustainable technology, pursuing an environmental science degree can lead to roles in environmental data analysis, green software development, and earth system modeling.

If you’re seeking a faster or more flexible option, a 2-year computer science degree online offers accelerated learning and direct entry into technology fields, making it ideal for career-changers or those already working.

Combining computer science with engineering disciplines is increasingly valuable. Students may consider an environmental engineering degree for opportunities in eco-friendly system design or sustainability projects. Similarly, a cheapest online master’s mechanical engineering program can enhance expertise in robotics, automation, or mechatronics.

By pursuing these interdisciplinary and affordable online degrees, students can amplify their skills, expand their career options, and adapt to the evolving tech-driven workplace.