dblpPublications
You can find an exhaustive list of my publications here or on google scholar.
Journal
2022
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
ACM Transactions on Privacy and Security (TOPS), 2022
Conferences
2024
Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes
Fritz Alder, Lesly-Ann Daniel, David Oswald, Frank Piessens, Jo Van Bulck
IEEE Symposium on Security and Privacy (SP), 2024
Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs
Hans Winderix, Marton Bognar, Job Noorman, Lesly-Ann Daniel, Frank Piessens
IEEE Symposium on Security and Privacy (SP), 2024
2023
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
Antoine Geimer, Mathéo Vergnolles, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
ACM SIGSAC Conference on Computer and Communications Security (CCS), 2023
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, 2023
2021
Hunting the Haunter – Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
The Network and Distributed System Security Symposium (NDSS), 2021
2020
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
IEEE Symposium on Security and Privacy (SP), 2020
Workshops
2024
Compiler Support for Control-Flow Linearization Using Architectural Mimicry
Daan Vanoverloop, Hans Winderix, Lesly-Ann Daniel, Frank Piessens
Workshop on Principles of Secure Compilation (PriSC), 2024
2021
Reflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
Learning from Authoritative Security Experiment Results (LASER), 2021
2018
Inferring OpenVPN State Machines Using Protocol State Fuzzing
Lesly-Ann Daniel, Joeri de Ruiter, Erik Poll
EuroS&P Workshops 2018 (SPIDA), 2018
Thesis
Symbolic Binary-Level Code Analysis for Security
Lesly-Ann Daniel
PhD thesis - Université Côte d’Azur, 2021
Defended on November 12, 2021