Our projects are funded by the following organizations.
Secure hardware-software architectures for robust computing systems.
Restoring trust in the cyber space.
How to securely update a trillion devices and sleep through the night (VENI project).
Finding security bugs by means of reverse engineering (VICI project).
Lightweight code self–verification for IoT devices.
Opening backdoors on embedded devices.
Analysis and detection of financial malware.
Attack surface reduction for binary programs.
Fast and comprehensive memory safety for systems software.
Assessing and mitigating side channels on commodity platforms.
Reverse engineering of complex program binaries.