Tamara Rezk

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 35

Top Topics

Information Flow

Top Venues

IEEE Symposium on Security and Privacy

Publications

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