Lesly-Ann
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
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
CISPA Helmholtz Center for Information Security Saarbrücken