DS-1997-01: Cramer, Ronald (1997) Modular Design of Secure yet Practical Cryptographic Protocols. Doctoral thesis, University of Amsterdam.