Sabrina Tarento

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Sabrina Tarento
Machine-Checked Security Proofs of Cryptographic Signature Schemes. ESORICS (2005)
Gilles Barthe, Sabrina Tarento
A Machine-Checked Formalization of the Random Oracle Model. TYPES (2004)
Gilles Barthe, Jan Cederquist, Sabrina Tarento
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. IJCAR (2004)