| 2024 | CCS | On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead). | Davide Davoli, Martin Avanzini, Tamara Rezk |
| 2023 | VMCAI | Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. | Ignacio Tiraboschi, Tamara Rezk, Xavier Rival |
| 2022 | ICISSP | Comparing the Detection of XSS Vulnerabilities in Node.js and a Multi-tier JavaScript-based Language via Deep Learning. | Hlose Maurel, Santiago A. Vidal, Tamara Rezk |
| 2021 | NDSS | Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. | Lesly-Ann Daniel, Sbastien Bardin, Tamara Rezk |
| 2021 | SAC | SecureJS compiler: portable memory isolation in JavaScript. | Yoonseok Ko, Tamara Rezk, Manuel Serrano |
| 2021 | SP | High-Assurance Cryptography in the Spectre Era. | Gilles Barthe, Sunjay Cauligi, Benjamin Grgoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe |
| 2021 | SECRYPT | Statically Identifying XSS using Deep Learning. | Hlose Maurel, Santiago A. Vidal, Tamara Rezk |
| 2020 | ICFEM | Type-Based Declassification for Free. | Minh Ngo, David A. Naumann, Tamara Rezk |
| 2020 | PLDI | Constant-time foundations for the new spectre era. | Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe |
| 2020 | SP | Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. | Lesly-Ann Daniel, Sbastien Bardin, Tamara Rezk |
| 2018 | WWW | A Better Facet of Dynamic Information Flow Control. | Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz |
| 2018 | SP | Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. | Minh Ngo, Frank Piessens, Tamara Rezk |
| 2017 | ECOOP | Type Abstraction for Relaxed Noninterference. | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, ric Tanter |
| 2017 | WWW | On the Content Security Policy Violations due to the Same-Origin Policy. | Dolire Francis Som, Nataliia Bielova, Tamara Rezk |
| 2016 | ESORICS | Spot the Difference: Secure Multi-execution and Multiple Facets. | Nataliia Bielova, Tamara Rezk |
| 2014 | SEC | An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript. | Jos Fragoso Santos, Tamara Rezk |
| 2011 | CCS | Information-flow types for homomorphic encryptions. | Cdric Fournet, Jrmy Planul, Tamara Rezk |
| 2010 | CONCUR | Session Types for Access and Information Flow Control. | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk |
| 2009 | CCS | A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. | Cdric Fournet, Gurvan Le Guernic, Tamara Rezk |
| 2008 | POPL | Cryptographically sound implementations for typed information-flow security. | Cdric Fournet, Tamara Rezk |
| 2007 | ESOP | A Certified Lightweight Non-interference Java Bytecode Verifier. | Gilles Barthe, David Pichardie, Tamara Rezk |
| 2007 | ESORICS | Security of Multithreaded Programs by Compilation. | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld |
| 2006 | SP | Deriving an Information Flow Checker and Certifying Compiler for Java. | Gilles Barthe, Tamara Rezk, David A. Naumann |
| 2006 | SAS | Certificate Translation for Optimizing Compilers. | Gilles Barthe, Benjamin Grgoire, Csar Kunz, Tamara Rezk |
| 2004 | VMCAI | Security Types Preserving Compilation: (Extended Abstract). | Gilles Barthe, Amitabh Basu, Tamara Rezk |