International Association for Cryptologic Research
Markus Duermuth Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2007 | On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography | eprint | online |
| 2 | 2006 | Conditional Reactive Simulatability | eprint | online |