Sabrina Tarento

According to our database, Sabrina Tarento authored at least 3 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Machine-Checked Security Proofs of Cryptographic Signature Schemes.

Sabrina Tarento

Proceedings of the Computer Security, 2005

2004

A Machine-Checked Formalization of the Random Oracle Model.

Gilles Barthe, Sabrina Tarento

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model.

Gilles Barthe, Jan Cederquist, Sabrina Tarento

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004