
Publication
Binder, a logic-based security language
Publication
Authenticity by Typing for Security Protocols
Publication
Hash Functions: From Merkle-Damgård to Shoup
Publication