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