Bruno Blanchet

Statistics

Publications

Citations

5.4K

H-Index

Active since

1998

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure

CryptoExperts (France)

University of California, Santa Cruz

Bruno Blanchet is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and formal methods.

ORCID

Publications per year

1998–2022

Publications

An efficient cryptographic protocol verifier based on prolog rules

Bruno Blanchet · 2005 · 955 citations

Computing, Computer Engineering, Computer Science +17

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations

Computing, Computer Engineering, Computer Science +13

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text

Computing, Computer Engineering, Computer Science +13

Escape analysis for object-oriented languages

Bruno Blanchet · 1999 · 294 citations

Computing, Computer Science, Programming Languages +12

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

Bruno Blanchet · Foundations and Trends® in Privacy and Security · 2016 · 293 citations · Full text

Computing, Computer Science, Authentication +16

1–5 of 46