she/her
Postdoc @ DistriNet, KU Leuven
Interests: formal methods, binary analysis, hardware-software co-design, microarchitectural security
Sorry, but the page you were trying to view does not exist.
dblp