Most Popular Books
- Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
- Operational Semantics and Verification of Security Protocols
- Security Protocols and Threat Models: Security and Privacy via The Applied -Calculus (Information Security and Cryptography)
