Number of items: 3.
Conference or Workshop Item (A Paper)
Backes, Michael and Dürmuth, Markus and Küsters, Ralf
(2007)
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.
Backes, Michael and Dürmuth, Markus and Hofheinz, Dennis and Küsters, Ralf
(2006)
Conditional Reactive Simulatability.
Article
Backes, Michael and Dürmuth, Markus and Hofheinz, Dennis and Küsters, Ralf
(2008)
Conditional Reactive Simulatability.
International Journal of Information Security, 7 (2).
pp. 155-169.
This list was generated on Thu Mar 19 01:37:31 2026 CET.