Publications
You can find an exhaustive list of my publications on dblp or google scholar.
Thesis
Symbolic Binary-Level Code Analysis for Security
Lesly-Ann Daniel
PhD thesis - Université Côte d’Azur , 2021
Defended on November 12, 2021
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
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
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