TOPIC_PCC.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/TOPIC_PCC.cite -ob Publi/TOPIC_PCC.bib -c topic="PCC" -c !topic="NOCITE" Publi/bibdata.bib}}

@article{BartheGR07,
  title = {Compilation of certificates},
  author = {Gilles Barthe and Benjamin Gr\'egoire and Tamara Rezk},
  journal = {Formal Logical Methods for System Security and Correctness,
           IOS Press},
  publisher = {IOS Press},
  year = 2008,
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/marktoberdorf07.pdf},
  topic = {PCC}
}

@article{BartheGKR08,
  author = {Gilles Barthe and Benjamin Gr\'egoire and C\'esar Kunz and Tamara Rezk},
  title = {Certificate Translation for Optimizing Compilers},
  journal = { Journal of Transactions on Programming Languages and Systems (TOPLAS)},
  year = 2008,
  editor = {ACM},
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/toplas08.pdf},
  topic = {PCC}
}

@inproceedings{BartheGP08,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Mariela Pavlova},
  title = {Preservation of Proof Obligations from Java to the Java
               Virtual Machine},
  booktitle = {Automated Reasoning, 4th International Joint Conference,
               IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2008},
  pages = {83-99},
  topic = {PCC}
}

@inproceedings{FMCO07,
  author = {Gilles Barthe and Pierre~Cr\'egut and Benjamin Gr\'egoire and Thomas Jensen and David Pichardie},
  title = {The MOBIUS Proof Carrying Code infrastructure},
  booktitle = {Formal Methods for Components and Objects, 6th International
               Symposium, FMCO 2007, Amsterdam, The Netherlands, 2007, Revised Lectures},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2007},
  topic = {PCC}
}

@inproceedings{GreSacchi07,
  author = {Benjamin Gr{\'e}goire and
               Jorge Luis Sacchini},
  title = {Combining a Verification Condition Generator for a Bytecode
               Language with Static Analyses},
  booktitle = {Trustworthy Global Computing, Third Symposium, TGC 2007,
               Sophia-Antipolis, France, November 5-6, 2007, Revised Selected
               Papers},
  year = {2007},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4912},
  pages = {23-40},
  topic = {PCC}
}

@inproceedings{DBLP:conf/fmco/BartheBCGHLPR06,
  author = {Gilles Barthe and
               Lilian Burdy and
               Julien Charles and
               Benjamin Gr{\'e}goire and
               Marieke Huisman and
               Jean-Louis Lanet and
               Mariela Pavlova and
               Antoine Requet},
  title = {JACK - A Tool for Validation of Security and Behaviour of
               Java Applications},
  booktitle = {Formal Methods for Components and Objects, 5th International
               Symposium, FMCO 2006, Amsterdam, The Netherlands, November
               7-10, 2006, Revised Lectures},
  year = {2006},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4709},
  pages = {152-174},
  topic = {PCC}
}

@inproceedings{BartheGKR06,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Tamara Rezk},
  title = {Certificate Translation for Optimizing Compilers},
  booktitle = {Static Analysis, 13th International Symposium, SAS 2006,
               Seoul, Korea, August 29-31, 2006, Proceedings},
  year = {2006},
  pages = {301-317},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4134},
  topic = {PCC}
}

@inproceedings{DBLP:conf/tgc/BartheBCGHMPPSV06,
  author = {Gilles Barthe and
               Lennart Beringer and
               Pierre Cr{\'e}gut and
               Benjamin Gr{\'e}goire and
               Martin Hofmann and
               Peter M{\"u}ller and
               Erik Poll and
               Germ{\'a}n Puebla and
               Ian Stark and
               Eric V{\'e}tillard},
  title = {MOBIUS: Mobility, Ubiquity, Security},
  booktitle = {Trustworthy Global Computing, Second Symposium, TGC 2006,
               Lucca, Italy, November 7-9, 2006, Revised Selected Papers},
  year = {2006},
  pages = {10-29},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4661},
  topic = {PCC}
}

This file was generated by bibtex2html 1.97.