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