Tamara Rezk

68 papers A* 11A 9B 4C 3Misc 2Journal 22Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation.
ACM Trans. Priv. Secur.
Davide Davoli, Martin Avanzini, Tamara Rezk
2024 J jnl
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version).
CoRR
Davide Davoli, Martin Avanzini, Tamara Rezk
2024 A* conf
On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead).
CCS
Davide Davoli, Martin Avanzini, Tamara Rezk
2024 J jnl
On Kernel's Safety in the Spectre Era (Extended Version).
CoRR
Davide Davoli, Martin Avanzini, Tamara Rezk
2023 J jnl
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.
ACM Trans. Priv. Secur.
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2023 J jnl
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).
CoRR
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023 A* conf
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
USENIX Security Symposium
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023 B conf
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.
VMCAI
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
2023 J jnl
Sound Symbolic Execution via Abstract Interpretation and its Application to Security.
CoRR
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
2022 J jnl
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.
CoRR
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2022 C conf
Comparing the Detection of XSS Vulnerabilities in Node.js and a Multi-tier JavaScript-based Language via Deep Learning.
ICISSP
Héloïse Maurel, Santiago A. Vidal, Tamara Rezk
2022 J jnl
Statically identifying XSS using deep learning.
Sci. Comput. Program.
Héloïse Maurel, Santiago A. Vidal, Tamara Rezk
2021 A* conf
High-Assurance Cryptography in the Spectre Era.
SP
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
2021 A* conf
Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE.
NDSS
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2021 Misc conf
SecureJS compiler: portable memory isolation in JavaScript.
SAC
Yoonseok Ko, Tamara Rezk, Manuel Serrano
2021 C conf
Statically Identifying XSS using Deep Learning.
SECRYPT
Héloïse Maurel, Santiago A. Vidal, Tamara Rezk
2020 A* conf
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
SP
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2020 A conf
Clockwork: Tracking Remote Timing Attacks.
CSF
Iulia Bastys, Musard Balliu, Tamara Rezk, Andrei Sabelfeld
2020 A* conf
Constant-time foundations for the new spectre era.
PLDI
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
2020 J jnl
High-Assurance Cryptography Software in the Spectre Era.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
2020 — conf
Security Analysis of ElGamal Implementations.
ICETE (2)
Mohamad El Laz, Benjamin Grégoire, Tamara Rezk
2020 — conf
Strenghtening Content Security Policy via Monitoring and URL Parameters Filtering.
WPES@CCS
Dolière Francis Somé, Tamara Rezk
2020 C conf
Type-Based Declassification for Free.
ICFEM
Minh Ngo, David A. Naumann, Tamara Rezk
2019 J jnl
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
CoRR
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2019 J jnl
Towards Constant-Time Foundations for the New Spectre Era.
CoRR
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
2019 J jnl
Typed-based Relaxed Noninterference for Free.
CoRR
Minh Ngo, David A. Naumann, Tamara Rezk
2018 — conf
A Better Facet of Dynamic Information Flow Control.
WWW (Companion Volume)
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
2018 A* conf
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements.
IEEE Symposium on Security and Privacy
Minh Ngo, Frank Piessens, Tamara Rezk
2018 — book
Secure Programming.
Tamara Rezk
2017 — conf
Control What You Include! - Server-Side Protection Against Third Party Web Tracking.
ESSoS
Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
2017 J jnl
Control What You Include! Server-Side Protection against Third Party Web Tracking.
CoRR
Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
2017 A* conf
On the Content Security Policy Violations due to the Same-Origin Policy.
WWW
Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
2017 J jnl
Type Abstraction for Relaxed Noninterference (Artifact).
Dagstuhl Artifacts Ser.
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
2017 A conf
Type Abstraction for Relaxed Noninterference.
ECOOP
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
2016 — conf
A Taxonomy of Information Flow Monitors.
POST
Nataliia Bielova, Tamara Rezk
2016 J jnl
Mashic compiler: Mashup sandboxing based on inter-frame communication.
J. Comput. Secur.
Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk
2016 A conf
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.
CSF
Vineet Rajani, Deepak Garg, Tamara Rezk
2016 J jnl
On the Content Security Policy Violations due to the Same-Origin Policy.
CoRR
Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
2016 — conf
Spot the Difference: Secure Multi-execution and Multiple Facets.
ESORICS (1)
Nataliia Bielova, Tamara Rezk
2015 — conf
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.
TGC
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt
2015 — conf
Modular Monitor Extensions for Information Flow Security in JavaScript.
TGC
José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
2014 — conf
An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.
TGC
Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk
2014 Misc conf
An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript.
SEC
José Fragoso Santos, Tamara Rezk
2014 A conf
Stateful Declassification Policies for Event-Driven Programs.
CSF
Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk
2013 J jnl
A certified lightweight non-interference Java bytecode verifier.
Math. Struct. Comput. Sci.
Gilles Barthe, David Pichardie, Tamara Rezk
2012 A conf
Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication.
CSF
Zhengqin Luo, Tamara Rezk
2012 — ed.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012
PLAS
Sergio Maffeis, Tamara Rezk
2012 J jnl
Reasoning about Web Applications: An Operational Semantics for HOP.
ACM Trans. Program. Lang. Syst.
Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano
2011 — conf
Automated Code Injection Prevention for Web Applications.
TOSCA
Zhengqin Luo, Tamara Rezk, Manuel Serrano
2011 A* conf
Information-flow types for homomorphic encryptions.
CCS
Cédric Fournet, Jérémy Planul, Tamara Rezk
2011 J jnl
Secure information flow by self-composition.
Math. Struct. Comput. Sci.
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
2010 A conf
Robustness Guarantees for Anonymity.
CSF
Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi
2010 J jnl
Security of multithreaded programs by compilation.
ACM Trans. Inf. Syst. Secur.
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
2010 B conf
Session Types for Access and Information Flow Control.
CONCUR
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk
2009 A* conf
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.
CCS
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
2009 J jnl
Certificate translation for optimizing compilers.
ACM Trans. Program. Lang. Syst.
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
2008 A* conf
Cryptographically sound implementations for typed information-flow security.
POPL
Cédric Fournet, Tamara Rezk
2008 A conf
Tractable Enforcement of Declassification Policies.
CSF
Gilles Barthe, Salvador Cavadini, Tamara Rezk
2007 A conf
A Certified Lightweight Non-interference Java Bytecode Verifier.
ESOP
Gilles Barthe, David Pichardie, Tamara Rezk
2007 A conf
Security of Multithreaded Programs by Compilation.
ESORICS
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
2007 J jnl
Security types preserving compilation.
Comput. Lang. Syst. Struct.
Gilles Barthe, Tamara Rezk, Amitabh Basu
2006 B conf
Certificate Translation for Optimizing Compilers.
SAS
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
2006 — conf
Deriving an Information Flow Checker and Certifying Compiler for Java.
S&P
Gilles Barthe, Tamara Rezk, David A. Naumann
2005 — conf
Non-interference for a JVM-like language.
TLDI
Gilles Barthe, Tamara Rezk
2005 — conf
Preventing Timing Leaks Through Transactional Branching Instructions.
QAPL
Gilles Barthe, Tamara Rezk, Martijn Warnier
2005 — conf
Proof Obligations Preserving Compilation.
Formal Aspects in Security and Trust
Gilles Barthe, Tamara Rezk, Ando Saabas
2004 — conf
Secure Information Flow by Self-Composition.
CSFW
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
2004 B conf
Security Types Preserving Compilation: (Extended Abstract).
VMCAI
Gilles Barthe, Amitabh Basu, Tamara Rezk