Publications
You can find an exhaustive list of my publications on dblp or google scholar.
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
2018
Inferring OpenVPN State Machines Using Protocol State Fuzzing
Lesly-Ann Daniel, Joeri de Ruiter, Erik Poll
EuroS&P Workshops 2018 (SPIDA), 2018