she/her
Postdoc @ DistriNet, KU Leuven
Interests: formal methods, binary analysis, hardware-software co-design, microarchitectural security
dblp