| |
| 2005 | ||
|---|---|---|
| 3 | EE | Sabrina Tarento: Machine-Checked Security Proofs of Cryptographic Signature Schemes. ESORICS 2005: 140-158 |
| 2004 | ||
| 2 | EE | Gilles Barthe, Jan Cederquist, Sabrina Tarento: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. IJCAR 2004: 385-399 |
| 1 | EE | Gilles Barthe, Sabrina Tarento: A Machine-Checked Formalization of the Random Oracle Model. TYPES 2004: 33-49 |
| 1 | Gilles Barthe | [1] [2] |
| 2 | J. G. Cederquist (Jan Cederquist) | [2] |