Tarento Sabrina

---

Organisation:	INRIA
Unité de Recherche:	Sophia Antipolis
Projet:	Everest
Mail:	Sabrina.Tarento(at)sophia.inria.fr
Téléphone:	(+334/04) 92 38 79 36
Fax:	(+334/04) 92 38 50 60

---

Sujet de Thèse

• Vérification formelle d'algorithmes cryptographiques dans le modèle générique.

---

Travaux de recherche

• DEA
• GM + ROM
  

---

Publications

• Certifying cryptographic algorithms using the Coq system, rapport de DEA, juillet 03, UNSA.
• A Machine-Checked Formalization of the GM and the ROM, Gilles Barthe, Jan Cerderquist, Sabrina Tarento, IJCAR04.
• A Machine-Checked Formalization of the ROM, Gilles Barthe, Sabrina Tarento, TYPES04.
• Machine-Checked security proofs of cryptographic signature schemes, Sabrina Tarento, ESORICS05.
  

---

Enseignements