dufay.bib

@INPROCEEDINGS{gg05:fosad,
  author = {G. Barthe and G. Dufay},
  title = {{Formal methods for smartcard security}},
  pages = {133--177},
  crossref = {fosad05},
  pdfurl = {ftp://ftp-sop.inria.fr/lemme/personnel/Gilles.Barthe/fosad05.pdf},
  topics = {team}
}

@INPROCEEDINGS{gg04:fase,
  author = {G. Barthe and G. Dufay},
  title = {{A Tool-Assisted Framework for Certified Bytecode 
Verification}},
  pages = {99-113},
  crossref = {fase04},
  topics = {team,castles},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2004/BD04fase.ps.gz}
}

@INPROCEEDINGS{g+02:amast,
  author = {G. Barthe and P. Courtieu and G. Dufay and S. Melo
de Sousa},
  title = {{Tool-Assisted Specification and Verification
of the JavaCard Platform}},
  crossref = {amast02},
  pages = {41--59},
  psurl = {ftp://ftp-sop.inria.fr/everest/personnel/Gilles.Barthe/amast02.ps.gz}
}

@INPROCEEDINGS{g+02:vmcai,
  author = {G. Barthe and G. Dufay and L. Jakubiec and S. Melo
de Sousa},
  title = {{A formal correspondence between offensive and
defensive JavaCard virtual machines}},
  crossref = {vmcai02},
  pages = {32--45},
  psurl = {ftp://ftp-sop.inria.fr/everest/personnel/Gilles.Barthe/vmcai02.ps.gz}
}

@INPROCEEDINGS{g+01:esmart,
  author = {G. Barthe and G. Dufay and M. Huisman and S. Melo de Sousa},
  title = {{Jakarta: a toolset to reason about the JavaCard platform}},
  crossref = {esmart01},
  pages = {2--18},
  psurl = {ftp://ftp-sop.inria.fr/everest/personnel/Gilles.Barthe/esmart01.ps.gz}
}

@INPROCEEDINGS{g+01:esop,
  author = {G. Barthe and G. Dufay and L. Jakubiec and
B. Serpette  and S. Melo de Sousa},
  title = {{A Formal Executable Semantics of the JavaCard Platform}},
  crossref = {esop01},
  pages = {302--319},
  psurl = {ftp://ftp-sop.inria.fr/everest/personnel/Gilles.Barthe/esop01.ps.gz}
}

@ARTICLE{g+:jakarta,
  author = {G. Barthe and P. Courtieu and G. Dufay  and S. Melo de 
Sousa},
  title = {{Jakarta: tool-assisted specification and verification of
the JavaCard Platform}},
  year = {200x},
  journal = {{Journal of Automated Reasoning}},
  note = {To appear},
  topics = {team,castles}
}

@PHDTHESIS{gdphd,
  author = {G. Dufay},
  title = {V\'erification formelle de la plate-forme Java Card},
  school = {Universit\'e de Nice Sophia-Antipolis},
  month = {December},
  year = {2003},
  url = {http://www-sop.inria.fr/lemme/personnel/Guillaume.Dufay/these/},
  pdfurl = {http://www-sop.inria.fr/lemme/personnel/Guillaume.Dufay/these/these-gdufay.pdf},
  topics = {team}
}

@MASTERSTHESIS{Duf00,
  author = {G. Dufay},
  title = {Formalisation en Coq de la Machine Virtuelle JavaCard},
  school = {Universit\'e Paris VII - Denis Diderot},
  year = {2000},
  type = {Rapport de DEA},
  psurl = {http://www-sop.inria.fr/everest/personnel/Guillaume.Dufay/DEA-dufay.ps.gz},
  topics = {team}
}

@PROCEEDINGS{fosad05,
  year = {2005},
  booktitle = {Proceedings of FOSAD'05},
  editor = {A.~Aldini and R.~Gorrieri and F.~Martinelli},
  series = {Lecture Notes in Computer Science},
  volume = {3655},
  publisher = {Springer-Verlag}
}

@PROCEEDINGS{fase04,
  year = {2004},
  booktitle = {Proceedings of {FASE}'04},
  title = {Proceedings of {FASE}'04},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume = {2984},
  editor = {M. Wermelinger and T. Margaria-Steffen},
  address = {Barcelona, Spain},
  month = {March}
}

@PROCEEDINGS{amast02,
  booktitle = {Proceedings of AMAST'02},
  title = {Proceedings of AMAST'02},
  editor = {H. Kirchner and C. Ringessein},
  series = {Lecture Notes in Computer Science},
  year = {2002},
  publisher = {Springer-Verlag},
  volume = {2422}
}

@PROCEEDINGS{vmcai02,
  year = {2002},
  booktitle = {Proceedings of VMCAI'02},
  title = {Proceedings of VMCAI'02},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {2294},
  editor = {A. Cortesi}
}

@PROCEEDINGS{esmart01,
  year = {2001},
  booktitle = {Proceedings of e-SMART'01},
  title = {Proceedings of e-SMART'01},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {2140},
  editor = {I. Attali and T. Jensen}
}

@PROCEEDINGS{esop01,
  year = {2001},
  booktitle = {Proceedings of ESOP'01},
  title = {Proceedings of ESOP'01},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {2028},
  editor = {D. Sands}
}

This file has been generated by bibtex2html 1.87.