International Association for Cryptologic Research
Steve Kremer Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2006 | Computationally Sound Symbolic Secrecy in the Presence of Hash Functions | eprint | online |
| 2 | 2005 | Computationally sound implementations of equational theories against passive adversaries | eprint | online |
Coauthors of Steve Kremer |