Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide (Information Cryptography)

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)

Protocols for Authentication and Key Establishment (Information Security Cryptography)

Cryptography Made Simple (Information Security and Cryptography)