S. Tarento.
Formalisation en Coq de modeles cryptographiques et application
au cryptosysteme ElGamal.
PhD thesis, Université de Nice Sophia-Antipolis, 2006.
[ bib ]
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 ]
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 ]