Postdoc @ DistriNet, KU Leuven
Interests: formal methods, binary analysis, software & hardware security
Google scholar
dblp