International Association for Cryptologic Research
Igal Yoffe Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2008 | The Layered Games Framework for Specifications and Analysis of Security Protocols | tcc | 125-141 |
| 2 | 2007 | The Delivery and Evidences Layer | eprint | online |
| 3 | 2006 | Foundations of Secure E-Commerce: The Order Layer | eprint | online |
| 4 | 2006 | The Layered Games Framework for Specifications and Analysis of Security Protocols | eprint | online |
Coauthors of Igal Yoffe |