Bruno Blanchet

Artificial Intelligence · 2001–2016

A researcher in the Science corpus: 6 papers; trusts 18 researchers and is trusted by 27 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 22 citations into it; #4,591 of 35,345 by trust here, #22,463 by citations
• Computer Networks and Communications — 14 citations into it; #539 of 9,886 by trust here, #4,405 by citations
• Information Systems — 12 citations into it; #423 of 8,771 by trust here, #4,012 by citations
• Computational Theory and Mathematics — 10 citations into it; #11,619 of 12,182 by trust here, #5,465 by citations

Whom Bruno Blanchet trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Victor Shoup
2. Whitfield Diffie
3. Gilles Barthe
4. David A. Basin
5. Martín Abadi
6. Mihir Bellare
7. Martin E. Hellman
8. Benjamin Gr'egoire
9. Ran Canetti
10. Sebastian Alexander Mödersheim

Who trusts Bruno Blanchet overall

1. Cas J. F. Cremers
2. Luca Viganò
3. Cjf Cas Cremers
4. Karthikeyan Bhargavan
5. Stéphanie Delaune
6. Gilles Barthe
7. Cédric Fournet
8. David A. Basin
9. Rohit Sinha
10. Simon Meier

Papers from Bruno Blanchet's perspective

Ordered by how strongly the researchers Bruno Blanchet trusts endorse each paper. Same corpus, a different order for every researcher.

1. An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
2. Random oracles are practical: a paradigm for designing efficient protocols
3. New Directions in Cryptography
4. Probabilistic Encryption
5. OFMC: A symbolic model checker for security protocols (International Journal of Information Security)
6. OAEP Reconsidered
7. Computer-Aided Security Proofs for the Working Cryptographer (Annual International Cryptology Conference)
8. Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)* (Journal of Cryptology)
9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Formal certification of code-based cryptographic proofs

Their papers

• A static analyzer for large safety-critical software (2003) — 797 citations
• Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif (2016) — 401 citations
• ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial (2011) — 333 citations
• A computationally sound mechanized prover for security protocols (2006) — 351 citations
• Automated verification of selected equivalences for security protocols (2005) — 400 citations
• An efficient cryptographic protocol verifier based on prolog rules (2001) — 1,234 citations