Security Protocols and Threat Models: Privacy via The Applied π Calculus (Information Cryptography)

Protocols for Authentication and Key Establishment (Information Security Cryptography)

Securing Systems: Applied Security Architecture and Threat Models

Guide to Internet Cryptography: Security Protocols and Real World Attack Implications (Information Cryptography)

Guide to Internet Cryptography: Security Protocols and Real World Attack Implications (Information Cryptography)