International Association for Cryptologic Research
Yu Zhang Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | A calculus for game-based security proofs | eprint | online |
| 2 | 2008 | The computational SLR: a logic for reasoning about computational indistinguishability | eprint | online |
Coauthors of Yu Zhang |