Type: User
Company: KU Leuven
Bio: I am a postdoc at KU Leuven (Belgium). I did my PhD at CEA List (France). Interested in formal methods for binary analysis and microarchitectural security.
Twitter: LeslyAnnDaniel1
Location: Leuven, Belgium
Blog: http://leslyann-daniel.fr/
lesly-ann's Projects
BINSEC binary-level open-source platform
www presence for the BINSEC binary-level analysis open-source platform
The PoC for ConTExT-light
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
Benchmarks for Spectector