From Secrecy to Authenticity in Security Protocols (2002)

by Bruno Blanchet
Venue:In 9th International Static Analysis Symposium (SAS’02