AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Bruno Blanchet

Bruno Blanchet

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4419094
French National Institute for Research in Computer Science and Control
person_outline Bruno Blanchet's MOST POPULAR ARTICLES
1-) An E cient Cryptographic Protocol Verifier Based on Prolog Rules 14th IEEE Computer Security Foundations Workshop (CSFW-14), 82-96, 2001
2-) A static analyzer for large safety-critical software Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
3-) Automated verification of selected equivalences for security protocols The Journal of Logic and Algebraic Programming 75 (1), 3-51, 2008
4-) A computationally sound mechanized prover for security protocols Dependable and Secure Computing, IEEE Transactions on 5 (4), 193-207, 2008
5-) Modeling and verifying security protocols with the applied pi calculus and ProVerif Foundations and Trends® in Privacy and Security 1 (1-2), 1-135, 2016