journal.bib

@ARTICLE{GregoireS07,
  author = {Benjamin Gr{\'e}goire and Jorge Luis Sacchini},
  title = {Combining a Verification Condition Generator for a Bytecode
               Language with Static Analyses},
  year = {2007},
  note = {To appear},
  topics = {team}
}

@ARTICLE{ZanellaWMM07,
  author = {Gilles Barthe and Bejamin Gr{\'e}goire and 
	       Romain Janvier and Santiago Zanella B{\'e}guelin},
  title = {A Framework for Language-Based Cryptographic Proofs},
  booktitle = {2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory},
  month = {Oct},
  year = {2007},
  topics = {team}
}

@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}
}

@ARTICLE{gat05:cl,
  author = {G. Barthe and  T. Rezk and A. Basu},
  title = {Security Types Preserving Compilation},
  year = {200x},
  journal = {Journal of Computer Languages, Systems and Structures},
  pdfurl = {http://www-sop.inria.fr/everest/Tamara.Rezk/publication/Barthe-Rezk-Basu.Journal.pdf},
  topics = {team},
  note = {To appear}
}

@ARTICLE{gt04:jfp,
  author = {G. Barthe and T. Coquand},
  title = {On the equational theory of non-normalizing Pure Type Systems},
  journal = {{Journal of Functional Programming}},
  year = {2004},
  volume = 14,
  number = 2,
  pages = {191--209},
  month = MAR,
  psurl = {ftp://ftp-sop.inria.fr/everest/Gilles.Barthe/fix.ps.gz},
  topics = {team}
}

@ARTICLE{g+04:mscs,
  author = {G. Barthe and M. J. Frade  and E. Gim{\'e}nez and L. Pinto
and T. Uustalu},
  title = {Type-Based Termination of Recursive Definitions},
  year = {2004},
  journal = {{Mathematical Structures in Computer Science}},
  month = FEB,
  volume = 14,
  issue = 1,
  pages = {97--141},
  psurl = {ftp://ftp-sop.inria.fr/everest/Gilles.Barthe/tbt.ps.gz},
  topics = {team}
}

@ARTICLE{g04:mscs,
  author = {G. Barthe},
  title = {Type Isomorphisms and Back-and-Forth Coercions in Type 
Theory},
  year = {2005},
  journal = {{Mathematical Structures in Computer Science}},
  topics = {team}
}

@ARTICLE{BCR-TSI,
  author = {L. Burdy and L. Casset and A. Requet},
  title = {D{\'e}veloppement d'un v{\'e}rifieur de byte-code embarqu{\'e}},
  journal = {Technique et Science Informatiques},
  volume = {22},
  number = {1},
  year = {2003},
  pages = {33--60},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2003/BCR03ver.ps.gz},
  topics = {team}
}

@ARTICLE{final:Form.Met,
  author = {C. Breunesse and N. Cata{\~n}o and M. Huisman and B. Jacobs},
  title = {Formal Methods for Smart Cards: an experience report},
  journal = {Science of Computer Programming},
  year = {2005},
  volume = 55,
  number = {1-3},
  pages = {53-80},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fm_smart.pdf},
  topics = {team}
}

This file has been generated by bibtex2html 1.87.