Publications

Information Flow in the Peer-Reviewing Process (Extended Abstract)

2007 - Michael Backes, Markus Dürmuth, Dominique Unruh

Proceedings of 28th IEEE Symposium on Security and Privacy (SSP '07), May 2007.

On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography

2007 - Michael Backes, Markus Dürmuth, Ralf Küsters

Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), December 2007.
Page: