version française All team publications
Publications - Sabrina Tarento
[BibTeX Format]

[Tar06] S. Tarento. Formalisation en Coq de modeles cryptographiques et application au cryptosysteme ElGamal. PhD thesis, Université de Nice Sophia-Antipolis, 2006. [ bib ]
[Tar05] S. Tarento. Machine-checked security proofs of cryptographic signature schemes. In S. De Capitani di Vimercati, P.F. Syverson, and D. Gollmann, editors, Proceedings of ESORICS'05, volume 3679 of Lecture Notes in Computer Science, pages 140-158. Springer-Verlag, 2005. [ bib | .pdf ]
[BT05] G. Barthe and S. Tarento. A machine-checked formalization of the random oracle model. In J.C. Filliâtre, C. Paulin-Mohring, and B. Werner, editors, Proceedings of TYPES'04, volume 3839 of Lecture Notes in Computer Science. Springer-Verlag, 2005. [ bib | .pdf ]
[BCT04] G. Barthe, J. Cederquist, and S. Tarento. A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. In D. Basin and M. Rusinowitch, editors, Proceedings of IJCAR'04, volume 3097 of Lecture Notes in Computer Science, pages 385-399, Cork, Ireland, July 2004. Springer-Verlag. [ bib | .ps.gz ]
[Tar03] S. Tarento. Certifying cryptographic algorithms using the coq system. Rapport de dea, Université de Nice, 2003. [ bib | .dvi ]

This file has been generated by bibtex2html 1.87.

on Tue, 02 Sep 2008 00:00:09 +0200