Cryptographic Protocol Design (2008)
[BibTex]