Lesly-Ann Daniel

Lesly-Ann Daniel is an Assistant Professor at EURECOM in the software and system security (S3) group, specializing in formal methods for low-level security. Her research spans binary analysis, symbolic execution, and hardware-software co-designs for microarchitectural security.

• PhD in Computer Science (2021) from CEA List, supervised by Sébastien Bardin and Tamara Rezk
• Postdoctoral researcher at DistriNet, KU Leuven (2021-2025)
• Co-developer of tools Binsec/Rel and Binsec/Haunted for binary-level security analysis

Her research focuses on applying formal methods to detect vulnerabilities in cryptographic code, mitigate microarchitectural side-channels, and enhance security through RISC-V extensions. Key projects include ProSpeCT for secure speculation and Architectural Mimicry for control-flow linearization.

Notable awards include the FWO Junior postdoctoral fellowship, PhD thesis award from Université Côte d’Azur, and the L’Oréal-UNESCO Jeunes Talents France fellowship. She serves on program committees for CCS, EuroS&P, and PriSC workshops.