Tamara Rezk

According to our database, Tamara Rezk authored at least 55 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

On Kernel's Safety in the Spectre Era (Extended Version).

Davide Davoli, Martin Avanzini, Tamara Rezk

CoRR, 2024

On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead).

Davide Davoli, Martin Avanzini, Tamara Rezk

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

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., May, 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

Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.

Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Statically identifying XSS using deep learning.

Héloïse Maurel, Santiago A. Vidal, Tamara Rezk

Sci. Comput. Program., 2022

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

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

2021

High-Assurance Cryptography in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

SecureJS compiler: portable memory isolation in JavaScript.

Yoonseok Ko, Tamara Rezk, Manuel Serrano

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE.

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

High-Assurance Cryptography Software in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

IACR Cryptol. ePrint Arch., 2020

Strenghtening Content Security Policy via Monitoring and URL Parameters Filtering.

Dolière Francis Somé, Tamara Rezk

Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.

Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Type-Based Declassification for Free.

Minh Ngo, David A. Naumann, Tamara Rezk

Proceedings of the Formal Methods and Software Engineering, 2020

Security Analysis of ElGamal Implementations.

Mohamad El Laz, Benjamin Grégoire, Tamara Rezk

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Clockwork: Tracking Remote Timing Attacks.

Iulia Bastys, Musard Balliu, Tamara Rezk, Andrei Sabelfeld

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

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

Typed-based Relaxed Noninterference for Free.

Minh Ngo, David A. Naumann, Tamara Rezk

CoRR, 2019

2018

A Better Facet of Dynamic Information Flow Control.

Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements.

Minh Ngo, Frank Piessens, Tamara Rezk

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Secure Programming.

Tamara Rezk

, 2018

2017

Type Abstraction for Relaxed Noninterference (Artifact).

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Dagstuhl Artifacts Ser., 2017

On the Content Security Policy Violations due to the Same-Origin Policy.

Dolière Francis Somé, Nataliia Bielova, Tamara Rezk

Proceedings of the 26th International Conference on World Wide Web, 2017

Control What You Include! - Server-Side Protection Against Third Party Web Tracking.

Dolière Francis Somé, Nataliia Bielova, Tamara Rezk

Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 2017

Type Abstraction for Relaxed Noninterference.

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Mashic compiler: Mashup sandboxing based on inter-frame communication.

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk

J. Comput. Secur., 2016

A Taxonomy of Information Flow Monitors.

Nataliia Bielova, Tamara Rezk

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Spot the Difference: Secure Multi-execution and Multiple Facets.

Nataliia Bielova, Tamara Rezk

Proceedings of the Computer Security - ESORICS 2016, 2016

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.

Vineet Rajani, Deepak Garg, Tamara Rezk

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Modular Monitor Extensions for Information Flow Security in JavaScript.

José Fragoso Santos, Tamara Rezk, Ana Almeida Matos

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.

José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

2014

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.

Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript.

José Fragoso Santos, Tamara Rezk

Proceedings of the ICT Systems Security and Privacy Protection, 2014

Stateful Declassification Policies for Event-Driven Programs.

Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

A certified lightweight non-interference Java bytecode verifier.

Gilles Barthe, David Pichardie, Tamara Rezk

Math. Struct. Comput. Sci., 2013

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

Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication.

Zhengqin Luo, Tamara Rezk

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Secure information flow by self-composition.

Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk

Math. Struct. Comput. Sci., 2011

Automated Code Injection Prevention for Web Applications.

Zhengqin Luo, Tamara Rezk, Manuel Serrano

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

Information-flow types for homomorphic encryptions.

Cédric Fournet, Jérémy Planul, Tamara Rezk

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Security of multithreaded programs by compilation.

Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld

ACM Trans. Inf. Syst. Secur., 2010

Robustness Guarantees for Anonymity.

Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

Session Types for Access and Information Flow Control.

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Certificate translation for optimizing compilers.

Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk

ACM Trans. Program. Lang. Syst., 2009

A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.

Cédric Fournet, Gurvan Le Guernic, Tamara Rezk

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Cryptographically sound implementations for typed information-flow security.

Cédric Fournet, Tamara Rezk

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Tractable Enforcement of Declassification Policies.

Gilles Barthe, Salvador Cavadini, Tamara Rezk

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Security types preserving compilation.

Gilles Barthe, Tamara Rezk, Amitabh Basu

Comput. Lang. Syst. Struct., 2007

2006

Deriving an Information Flow Checker and Certifying Compiler for Java.

Gilles Barthe, Tamara Rezk, David A. Naumann

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

2005

Preventing Timing Leaks Through Transactional Branching Instructions.

Gilles Barthe, Tamara Rezk, Martijn Warnier

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Non-interference for a JVM-like language.

Gilles Barthe, Tamara Rezk

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

Proof Obligations Preserving Compilation.

Gilles Barthe, Tamara Rezk, Ando Saabas

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2004

Security Types Preserving Compilation: (Extended Abstract).

Gilles Barthe, Amitabh Basu, Tamara Rezk

Proceedings of the Verification, 2004