Bruno__Blanchet
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
Escape Analysis for Object Oriented Languages. Application to Java
From Secrecy to Authenticity in Security Protocols