| 2008 |
|---|
| 10 | EE | Cédric Fournet,
Tamara Rezk:
Cryptographically sound implementations for typed information-flow security.
POPL 2008: 323-335 |
| 2007 |
|---|
| 9 | EE | Gilles Barthe,
David Pichardie,
Tamara Rezk:
A Certified Lightweight Non-interference Java Bytecode Verifier.
ESOP 2007: 125-140 |
| 8 | EE | Gilles Barthe,
Tamara Rezk,
Alejandro Russo,
Andrei Sabelfeld:
Security of Multithreaded Programs by Compilation.
ESORICS 2007: 2-18 |
| 2006 |
|---|
| 7 | EE | Gilles Barthe,
Tamara Rezk,
David A. Naumann:
Deriving an Information Flow Checker and Certifying Compiler for Java.
S&P 2006: 230-242 |
| 6 | EE | Gilles Barthe,
Benjamin Grégoire,
César Kunz,
Tamara Rezk:
Certificate Translation for Optimizing Compilers.
SAS 2006: 301-317 |
| 5 | EE | Gilles Barthe,
Tamara Rezk,
Martijn Warnier:
Preventing Timing Leaks Through Transactional Branching Instructions.
Electr. Notes Theor. Comput. Sci. 153(2): 33-55 (2006) |
| 2005 |
|---|
| 4 | EE | Gilles Barthe,
Tamara Rezk,
Ando Saabas:
Proof Obligations Preserving Compilation.
Formal Aspects in Security and Trust 2005: 112-126 |
| 3 | EE | Gilles Barthe,
Tamara Rezk:
Non-interference for a JVM-like language.
TLDI 2005: 103-112 |
| 2004 |
|---|
| 2 | EE | Gilles Barthe,
Pedro R. D'Argenio,
Tamara Rezk:
Secure Information Flow by Self-Composition.
CSFW 2004: 100-114 |
| 1 | EE | Gilles Barthe,
Amitabh Basu,
Tamara Rezk:
Security Types Preserving Compilation: (Extended Abstract).
VMCAI 2004: 2-15 |
