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