english version Toutes les publications de l'équipe
Publications - Tamara Rezk
[Format BibTeX]

[BGKR06] G. Barthe, B. Grégoire, C. Kunz, and T. Rezk. Certificate translation for optimizing compilers. In Proceedings of the 13th International Static Analysis Symposium (SAS), LNCS, Seoul, Korea, August 2006. Springer-Verlag. [ bib | .pdf ]
[BNR06b] G. Barthe, D. Naumann, and T. Rezk. Deriving an information flow checker and certifying compiler for Java. In Proceedings of Symposium of Security and Privacy'06. IEEE Press, 2006. [ bib | .ps ]
[BNR06a] G. Barthe, D. Naumann, and T. Rezk. Deriving an information flow checker and certifying compiler for Java, 2006. To appear. [ bib ]
[BPR06] G. Barthe, D. Pichardie, and T. Rezk. Deriving an information flow checker for the JVM. Technical report, INRIA, 2006. [ bib ]
[BDR06] G. Barthe, P. D'Argenio, and T. Rezk. Secure Information Flow by Self-Composition. Technical report, INRIA, 2006. [ bib ]
[Rez06] T. Rezk. Verification of confidentiality policies for mobile code. PhD thesis, Université de Nice Sophia-Antipolis, 2006. [ bib ]
[BRS05] G. Barthe, T. Rezk, and A. Saabas. Proof obligations preserving compilation. In R. Gorrieri, F. Martinelli, P. Ryan, and S. Schneider, editors, Proceedings of FAST'05, volume 3866 of Lecture Notes in Computer Science, pages 112-126. Springer-Verlag, 2005. [ bib | .pdf ]
[BRW05] G. Barthe, T. Rezk, and M. Warnier. Preventing timing leaks through transactional branching instructions. In Proceedings of 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL'05), Edinburgh, Scotland, 2005. Electronic Notes in Theoretical Computer Science. to appear. [ bib | .pdf ]
[BR05] G. Barthe and T. Rezk. Non-interference for a JVM-like language. In M. Fähndrich, editor, Proceedings of TLDI'05, pages 103-112, Long Beach, USA, January 2005. ACM Press. [ bib | .ps.gz ]
[BDR04] G. Barthe, P. D'Argenio, and T. Rezk. Secure Information Flow by Self-Composition. In R. Foccardi, editor, Proceedings of CSFW'04, pages 100-114, Pacific Grove,USA, June 2004. IEEE Press. [ bib | .ps.gz ]
[BBR04] G. Barthe, A. Basu, and T. Rezk. Security types preserving compilation. In B. Steffen and G. Levi, editors, Proceedings of VMCAI'04, volume 2934 of Lecture Notes in Computer Science, pages 2-15, Venice, Italy, January 2004. Springer-Verlag. [ bib | .ps.gz ]
[BRB0x] G. Barthe, T. Rezk, and A. Basu. Security types preserving compilation. Journal of Computer Languages, Systems and Structures, 200x. To appear. [ bib | .pdf ]

This file has been generated by bibtex2html 1.87.

on Tue, 02 Sep 2008 00:00:09 +0200