S. Tarento.
Formalisation en Coq de modeles cryptographiques et application
au cryptosysteme ElGamal.
PhD thesis, Université de Nice Sophia-Antipolis, 2006.
[ bib ]
G. Barthe.
De la théorie des types à la vérification formelles des
petits objets portables de sécurité.
Habilitation à diriger des recherches, Université de Nice
Sophia-Antipolis, 2004.
[ bib ]
S. Melo de Sousa.
Outils et techniques pour la vérification formelle de la
plate-forme JavaCard.
PhD thesis, INRIA/Universidade de Nice-Sophia Antipolis, February
2003.
[ bib |
.ps ]