I am interested in software security and the application of formal methods in the context of binary-level analysis.
Currently, I work on designing automatic bug-finding techniques to find violations of security properties at binary level. In particular, I developped Binsec/Rel, a tool to efficiently analyze constant-time cryptogtaphic binaries.
In 2020, I received the fellowship “Jeunes Talents France” L’Oréal - UNESCO pour les femmes et la science for my work on automated program analysis for security. Press article from ENS-Rennes (in French).
- 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)
PDF Slides Video Git
Binsec –– A Binary Analysis Platform
7th Dec 2019, Lightning talk at Blackhoodie (Austria)
Binsec/Rel: Efficient Constant-Time Analysis of Binary-Level Code with Relational Symbolic Execution
12th Nov 2019, Security seminar UCSD (United-States)
- Architecture (24h, spring 2019) — IUT d’Orsay (France)
- Operating systems (15h, fall 2019) — ENSTA ParisTech (France)
- Compilation (16h, spring 2019) — IUT d’Orsay (France)
- C programming language (15h, fall 2018) — ENSTA ParisTech (France)