tarento.bib

@INPROCEEDINGS{sab05:esorics,
  title = {Machine-Checked Security Proofs of Cryptographic
Signature Schemes},
  pages = {140-158},
  author = {S. Tarento},
  crossref = {esorics05},
  topics = {team},
  pdfurl = {http://www-sop.inria.fr/everest/Sabrina.Tarento/Papers/PA/main.pdf}
}

@INPROCEEDINGS{gs04:types,
  title = {A Machine-Checked Formalization of the Random Oracle Model},
  author = {G. Barthe and S. Tarento},
  crossref = {types04},
  topics = {team},
  pdfurl = {http://www-sop.inria.fr/everest/Sabrina.Tarento/Papers/ROM/main.pdf}
}

@INPROCEEDINGS{gjs04:ijcar,
  author = {G. Barthe and J. Cederquist and S. Tarento},
  title = {{A Machine-Checked Formalization of the Generic Model
and the Random Oracle Model}},
  crossref = {ijcar04},
  pages = {385-399},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2004/BCT04ijcar.ps.gz},
  topics = {team}
}

@PHDTHESIS{Tarento:phd,
  title = {Formalisation en Coq de modeles cryptographiques et application au cryptosysteme ElGamal},
  author = {S. Tarento},
  year = {2006},
  school = {Universit\'e de Nice Sophia-Antipolis},
  topics = {team}
}

@MASTERSTHESIS{Tar03,
  author = {S. Tarento},
  title = {Certifying  cryptographic algorithms using the Coq system},
  school = {Universit\'e de Nice},
  year = {2003},
  type = {Rapport de DEA},
  topics = {team},
  url = {http://www-sop.inria.fr/everest/Sabrina.Tarento/Papers/rapport.dvi}
}

@PROCEEDINGS{esorics05,
  title = {Proceedings of {ESORICS}'05},
  booktitle = {Proceedings of {ESORICS}'05},
  year = {2005},
  editor = {S. De Capitani di Vimercati and P.F. Syverson and D. Gollmann},
  volume = {3679},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag}
}

@PROCEEDINGS{types04,
  year = {2005},
  editor = {J.C. Filli\^atre and C. Paulin-Mohring and B. Werner},
  booktitle = {Proceedings of {TYPES}'04},
  title = {Proceedings of {TYPES}'04},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume = {3839}
}

@PROCEEDINGS{ijcar04,
  year = {2004},
  title = {Proceedings of IJCAR'04},
  booktitle = {Proceedings of IJCAR'04},
  editor = {D. Basin and M. Rusinowitch},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume = {3097},
  address = {Cork, Ireland},
  month = {July}
}

This file has been generated by bibtex2html 1.87.