International Association for Cryptologic Research
David Nowak Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | A calculus for game-based security proofs | eprint | online |
| 2 | 2007 | A Framework for Game-Based Security Proofs | eprint | online |
Coauthors of David Nowak |