Postdoc @ DistriNet, KU Leuven
Interests: formal methods, binary analysis, software & hardware security
Sorry, but the page you were trying to view does not exist.