rezk.bib

@INPROCEEDINGS{Barthe:Gregoire:Kunz:Rezk:sas06,
  author = {G. Barthe and B. Gr{\'e}goire and C. Kunz 
            and T. Rezk},
  title = {Certificate Translation for Optimizing Compilers},
  booktitle = {Proceedings of the 13th International Static Analysis 
               Symposium (SAS)},
  year = {2006},
  publisher = {Springer-Verlag},
  series = {LNCS},
  address = {Seoul, Korea},
  month = {August},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Cesar.Kunz/publications/certtrans-SAS06.pdf},
  topics = {team}
}

@INPROCEEDINGS{gdt06:sp,
  author = {G. Barthe and D. Naumann and T. Rezk},
  title = { Deriving an Information Flow Checker and Certifying Compiler for {Java}},
  year = {2006},
  crossref = {sp06},
  psurl = {http://www-sop.inria.fr/everest/personnel/Tamara.Rezk//publication/Barthe-Naumann-Rezk.ps},
  topics = {team}
}

@MISC{gdt06:hal,
  author = {G. Barthe and D. Naumann and T. Rezk},
  title = {Deriving an Information Flow Checker and Certifying Compiler for {Java}},
  year = {2006},
  note = {To appear},
  topics = {team}
}

@TECHREPORT{gdt06:jvm,
  author = {G. Barthe and D. Pichardie and T. Rezk},
  title = {Deriving an Information Flow Checker for the {JVM}},
  year = {2006},
  topics = {team},
  institution = {INRIA}
}

@INPROCEEDINGS{gta05:fast,
  author = {G. Barthe and T. Rezk and A. Saabas},
  title = {{Proof obligations preserving compilation}},
  year = {2005},
  crossref = {fast05},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Tamara.Rezk//publication/Barthe-Rezk-Saabas.pdf},
  pages = {112-126},
  topics = {team}
}

@INPROCEEDINGS{BRW-qapl05,
  author = {G. Barthe and T. Rezk and M. Warnier},
  title = {Preventing Timing Leaks Through Transactional Branching Instructions},
  crossref = {qapl05},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Tamara.Rezk/publication/Barthe-Rezk-Warnier.pdf},
  topics = {team}
}

@INPROCEEDINGS{gt05:tldi,
  author = {G. Barthe and T. Rezk},
  title = {Non-interference for a {JVM}-like language},
  crossref = {tldi05},
  pages = {103--112},
  topics = {team},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2005/BR05tldi.ps.gz}
}

@INPROCEEDINGS{gpt04:csfw,
  author = {G. Barthe and P. D'Argenio and T. Rezk},
  title = {{Secure Information Flow by Self-Composition}},
  crossref = {csfw04},
  pages = {100-114},
  topics = {team},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2004/BDR04csfw.ps.gz}
}

@TECHREPORT{gpt06:hal,
  author = {G. Barthe and P. D'Argenio and T. Rezk},
  title = {{Secure Information Flow by Self-Composition}},
  topics = {team},
  year = {2006},
  institution = {INRIA}
}

@INPROCEEDINGS{gat04:vmcai,
  author = {G. Barthe and A. Basu and T. Rezk},
  title = {Security Types Preserving Compilation},
  crossref = {vmcai04},
  pages = {2--15},
  topics = {team},
  psurl = {ftp://ftp-sop.inria.fr/everest/publis/2004/BBR04vmcai.ps.gz}
}

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

@PHDTHESIS{Rezk:phd,
  title = {Verification of confidentiality policies for mobile code},
  author = {T. Rezk},
  year = {2006},
  school = {Universit\'e de Nice Sophia-Antipolis},
  topics = {team}
}

@PROCEEDINGS{sp06,
  booktitle = {Proceedings of Symposium of Security and Privacy'06},
  title = {Proceedings of Proceedings of Symposium of Security and Privacy '06},
  year = 2006,
  publisher = {IEEE Press},
  editor = {}
}

@PROCEEDINGS{fast05,
  booktitle = {Proceedings of FAST'05},
  year = 2005,
  editor = {R.~Gorrieri and F.~Martinelli and P.~Ryan and S.~Schneider},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume = {3866}
}

@PROCEEDINGS{qapl05,
  title = {Proceedings of 3rd Workshop on Quantitative Aspects of 
Programming Languages (QAPL'05)},
  booktitle = {Proceedings of 3rd Workshop on Quantitative Aspects of 
Programming Languages (QAPL'05)},
  year = {2005},
  address = {Edinburgh, Scotland },
  publisher = {Electronic Notes in Theoretical Computer Science},
  note = {to appear}
}

@PROCEEDINGS{tldi05,
  title = {Proceedings of {TLDI}'05},
  booktitle = {Proceedings of {TLDI}'05},
  year = {2005},
  editor = {M. F\"ahndrich},
  publisher = {ACM Press},
  month = {January},
  address = {Long Beach, USA}
}

@PROCEEDINGS{csfw04,
  title = {Proceedings of CSFW'04},
  booktitle = {Proceedings of CSFW'04},
  year = {2004},
  editor = {R. Foccardi},
  publisher = {IEEE Press},
  address = {Pacific Grove,USA},
  month = {June}
}

@PROCEEDINGS{vmcai04,
  year = {2004},
  booktitle = {Proceedings of {VMCAI}'04},
  title = {Proceedings of {VMCAI}'04},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume = {2934},
  editor = {B. Steffen and G. Levi},
  address = {Venice, Italy},
  month = {January}
}

This file has been generated by bibtex2html 1.87.