Tamara Rezk
AuthID: R-00G-VX1
11
TITLE: Certificate Translation for Optimizing Compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, VOLUME: 4134
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, VOLUME: 4134
INDEXED IN: 
DBLP
DBLP12
TITLE: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
INDEXED IN: DBLP
DBLP13
TITLE: Proof Obligations Preserving Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
INDEXED IN: DBLP
DBLP14
TITLE: Non-interference for a JVM-like language
AUTHORS: Gilles Barthe; Tamara Rezk;
PUBLISHED: 2005, SOURCE: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
AUTHORS: Gilles Barthe; Tamara Rezk;
PUBLISHED: 2005, SOURCE: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
INDEXED IN: DBLP
DBLP15
TITLE: Preventing Timing Leaks Through Transactional Branching Instructions
AUTHORS: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLISHED: 2005, SOURCE: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, VOLUME: 153
AUTHORS: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLISHED: 2005, SOURCE: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, VOLUME: 153
INDEXED IN: DBLP
DBLP16
TITLE: Secure Information Flow by Self-Composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
INDEXED IN: DBLP
DBLP17
TITLE: Security Types Preserving Compilation: (Extended Abstract)
AUTHORS: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLISHED: 2004, SOURCE: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, VOLUME: 2937
AUTHORS: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLISHED: 2004, SOURCE: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, VOLUME: 2937
INDEXED IN: DBLP
DBLP