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.
-
KU Leuven
- Leuven, Belgium
- http://leslyann-daniel.fr/
- @LeslyAnnDaniel1
Highlights
- Pro
Popular repositories Loading
-
-
-
pedago-rennes
pedago-rennes PublicForked from InfoSansOrdi/pedago-rennes
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
-
verifying-constant-time
verifying-constant-time PublicForked from imdea-software/verifying-constant-time
Makefile
-
binsec.github.io
binsec.github.io PublicForked from binsec/binsec.github.io
www presence for the BINSEC binary-level analysis open-source platform
Sass 2
-
spectector-benchmarks
spectector-benchmarks PublicForked from spectector/spectector-benchmarks
Benchmarks for Spectector
Assembly
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.