Security Types Preserving Compilation: (Extended Abstract). - Gilles Barthe; Amitabh Basu; Tamara Rezk (VMCAI, 2004)

Proof Obligations Preserving Compilation. - Gilles Barthe; Tamara Rezk; Ando Saabas (Formal Aspects in Security and Trust, 2005)

Non-interference for a JVM-like language. - Gilles Barthe; Tamara Rezk (TLDI, 2005)

Preventing Timing Leaks Through Transactional Branching Instructions. - Gilles Barthe; Tamara Rezk; Martijn Warnier (QAPL, 2005)

Deriving an Information Flow Checker and Certifying Compiler for Java. - Gilles Barthe; Tamara Rezk; David A. Naumann (S&P, 2006)

Security types preserving compilation. - Gilles Barthe; Tamara Rezk; Amitabh Basu (Comput. Lang. Syst. Struct., 2007)

Tractable Enforcement of Declassification Policies. - Gilles Barthe; Salvador Cavadini; Tamara Rezk (CSF, 2008)

Cryptographically sound implementations for typed information-flow security. - Cédric Fournet; Tamara Rezk (POPL, 2008)

A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. - Cédric Fournet; Gurvan Le Guernic; Tamara Rezk (CCS, 2009)

Certificate translation for optimizing compilers. - Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk (ACM Trans. Program. Lang. Syst., 2009)

Session Types for Access and Information Flow Control. - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Tamara Rezk (CONCUR, 2010)

Robustness Guarantees for Anonymity. - Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi (CSF, 2010)

Security of multithreaded programs by compilation. - Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld (ACM Trans. Inf. Syst. Secur., 2010)

Information-flow types for homomorphic encryptions. - Cédric Fournet; Jérémy Planul; Tamara Rezk (CCS, 2011)

Automated Code Injection Prevention for Web Applications. - Zhengqin Luo; Tamara Rezk; Manuel Serrano (TOSCA, 2011)

Secure information flow by self-composition. - Gilles Barthe; Pedro R. D'Argenio; Tamara Rezk (Math. Struct. Comput. Sci., 2011)

Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication. - Zhengqin Luo; Tamara Rezk (CSF, 2012)

Reasoning about Web Applications: An Operational Semantics for HOP. - Gérard Boudol; Zhengqin Luo; Tamara Rezk; Manuel Serrano (ACM Trans. Program. Lang. Syst., 2012)

A certified lightweight non-interference Java bytecode verifier. - Gilles Barthe; David Pichardie; Tamara Rezk (Math. Struct. Comput. Sci., 2013)

Stateful Declassification Policies for Event-Driven Programs. - Mathy Vanhoef; Willem De Groef; Dominique Devriese; Frank Piessens; Tamara Rezk (CSF, 2014)

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript. - José Fragoso Santos; Tamara Rezk (SEC, 2014)

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. - Ana Gualdina Almeida Matos; José Fragoso Santos; Tamara Rezk (TGC, 2014)

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. - José Fragoso Santos; Thomas P. Jensen; Tamara Rezk; Alan Schmitt (TGC, 2015)

Modular Monitor Extensions for Information Flow Security in JavaScript. - José Fragoso Santos; Tamara Rezk; Ana Almeida Matos (TGC, 2015)

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. - Vineet Rajani; Deepak Garg 001; Tamara Rezk (CSF, 2016)

Spot the Difference: Secure Multi-execution and Multiple Facets. - Nataliia Bielova; Tamara Rezk (ESORICS (1), 2016)

A Taxonomy of Information Flow Monitors. - Nataliia Bielova; Tamara Rezk (POST, 2016)

Mashic compiler: Mashup sandboxing based on inter-frame communication. - Zhengqin Luo; José Fragoso Santos; Ana Almeida Matos; Tamara Rezk (J. Comput. Secur., 2016)

Type Abstraction for Relaxed Noninterference. - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (ECOOP, 2017)

Control What You Include! - Server-Side Protection Against Third Party Web Tracking. - Dolière Francis Somé; Nataliia Bielova; Tamara Rezk (ESSoS, 2017)

On the Content Security Policy Violations due to the Same-Origin Policy. - Dolière Francis Somé; Nataliia Bielova; Tamara Rezk (WWW, 2017)

Type Abstraction for Relaxed Noninterference (Artifact). - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (Dagstuhl Artifacts Ser., 2017)

Secure Programming. - Tamara Rezk (2018)

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. - Minh Ngo; Frank Piessens; Tamara Rezk (IEEE Symposium on Security and Privacy, 2018)

A Better Facet of Dynamic Information Flow Control. - Minh Ngo; Nataliia Bielova; Cormac Flanagan; Tamara Rezk; Alejandro Russo; Thomas Schmitz 001 (WWW (Companion Volume), 2018)

Typed-based Relaxed Noninterference for Free. - Minh Ngo; David A. Naumann; Tamara Rezk (CoRR, 2019)

Towards Constant-Time Foundations for the New Spectre Era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe (CoRR, 2019)

Clockwork: Tracking Remote Timing Attacks. - Iulia Bastys; Musard Balliu; Tamara Rezk; Andrei Sabelfeld (CSF, 2020)

Security Analysis of ElGamal Implementations. - Mohamad El Laz; Benjamin Grégoire; Tamara Rezk (ICETE (2), 2020)

Type-Based Declassification for Free. - Minh Ngo; David A. Naumann; Tamara Rezk (ICFEM, 2020)

Constant-time foundations for the new spectre era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M. Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe (PLDI, 2020)

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. - Lesly-Ann Daniel; Sébastien Bardin; Tamara Rezk (SP, 2020)

Strenghtening Content Security Policy via Monitoring and URL Parameters Filtering. - Dolière Francis Somé; Tamara Rezk (WPES@CCS, 2020)

High-Assurance Cryptography Software in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (IACR Cryptol. ePrint Arch., 2020)

Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. - Lesly-Ann Daniel; Sébastien Bardin; Tamara Rezk (NDSS, 2021)

SecureJS compiler: portable memory isolation in JavaScript. - Yoonseok Ko; Tamara Rezk; Manuel Serrano (SAC, 2021)

High-Assurance Cryptography in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (SP, 2021)

Comparing the Detection of XSS Vulnerabilities in Node.js and a Multi-tier JavaScript-based Language via Deep Learning. - Héloïse Maurel; Santiago A. Vidal; Tamara Rezk (ICISSP, 2022)

Statically identifying XSS using deep learning. - Héloïse Maurel; Santiago A. Vidal; Tamara Rezk (Sci. Comput. Program., 2022)

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. - Lesly-Ann Daniel; Marton Bognar; Job Noorman; Sébastien Bardin; Tamara Rezk; Frank Piessens (USENIX Security Symposium, 2023)

Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. - Ignacio Tiraboschi; Tamara Rezk; Xavier Rival (VMCAI, 2023)

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). - Lesly-Ann Daniel; Marton Bognar; Job Noorman; Sébastien Bardin; Tamara Rezk; Frank Piessens (CoRR, 2023)

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure. - Lesly-Ann Daniel; Sébastien Bardin; Tamara Rezk (ACM Trans. Priv. Secur., 2023)

On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead). - Davide Davoli 001; Martin Avanzini; Tamara Rezk (CCS, 2024)

On Kernel's Safety in the Spectre Era (Extended Version). - Davide Davoli 001; Martin Avanzini; Tamara Rezk (CoRR, 2024)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version). - Davide Davoli 001; Martin Avanzini; Tamara Rezk (CoRR, 2024)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation. - Davide Davoli 001; Martin Avanzini; Tamara Rezk (ACM Trans. Priv. Secur., 2025)