About

My picture

I am a PhD student at CEA List working under the supervision of Sébastien Bardin and Tamara Rezk.

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.

I received a master degree in computer science in 2018 from the ENS Rennes and the University of Rennes 1 (France).

Awards

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).

Past Work

During summer 2017 I worked with Erik Poll and Joeri de Ruiter at Radboud University (Netherlands) on inferring protocol state machines for OpenVPN. PDF

Publications

You can find an exhaustive list of my publications on dblp or scholar.

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)
    PDF Slides Video Git

2018

  • Inferring OpenVPN State Machines Using Protocol State Fuzzing
    Lesly-Ann Daniel, Joeri de Ruiter, Erik Poll
    EuroS&P Workshops 2018 (SPIDA 2018)
    PDF Slides

Talks

2019

  • Binsec –– A Binary Analysis Platform
    7th Dec 2019, Lightning talk at Blackhoodie (Austria)
    Slides

  • Binsec/Rel: Efficient Constant-Time Analysis of Binary-Level Code with Relational Symbolic Execution
    12th Nov 2019, Security seminar UCSD (United-States)
    Slides

  • Binsec/Rel: Efficient Constant-Time Analysis of Binary-Level Code with Relational Symbolic Execution
    5th Nov 2019, ISI Cybersecurity Seminar (United-States)
    Slides Video

Teaching

  • 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)