Prof. Dr. Esfandiar Mohammadi

Michael Backes, Dario Fiore, and Esfandiar Mohammadi,
Privacy-Preserving Accountable Computation, in Proceedings of the 18th European Symposium on Research in Computer Security (ESORICS) , Springer, 2013. pp. 38--56.

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.