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