Research Paper
-
Provably Secure and
Practical Onion Routing
to appear in Proceedings of 25th IEEE Computer Security Foundations
Symposium (CSF '12), 2012
[Abstract | PDF | ePrint version] -
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 '10), pages 352-363, 2010
[Abstract | PDF]
Teaching activities
I assisted in the following lectures and seminars.- Lecture: Programming
for Engineers
SS 2011 (head teaching assistant with S.
Gerling and
R. Reischuk ) - Seminar: Selected Topics in Information Security SS 2011 (supervision of students)
- Lecture: Security WS 2010 (head teaching assistant with S. Gerling and F. Eigner)
- Seminar: Current Research in Information Security SS 2009 (supervision of students)
- Lecture: Advanced Cryptography WS 2008/2009 (head teaching assistant)
- Lecture: Cryptography SS 2007 (teaching assistant)
- Lecture: Cryptography SS 2006 (teaching assistant)
- Lecture: Systemarchitektur SS 2006 (teaching assistant)
![m..i[at]cs.uni-saarland.de](images/email.png)
