Kiraz, Mehmet Sabir International Max Planck Research School, MPI for Informatics, Max Planck Society;
Kiraz, M. S. (2003). Formalization and Verification of Informal Security Protocol Description. Master Thesis, Universität des Saarlandes, Saarbrücken.