Prof. Dr. Esfandiar Mohammadi

Michael Backes, Aniket Kate, Ian Goldberg, and Esfandiar Mohammadi,
Provably Secure and Practical Onion Routing, in Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF) , IEEE, 2012. pp. 369--385.

Michael Backes, Matteo Maffei, and Esfandiar Mohammadi,
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations, in Proceedings of the 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) , Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2010. pp. 352--363.