Lesly-Ann Daniel

Lesly-Ann Daniel

PhD Student

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.

lesly-ann.daniel_at_cea.fr
https://www.leslyann-daniel.fr/
https://twitter.com/LeslyAnnDaniel1