Our projects are funded by the following organizations.
A common code base and tools for unleashing the power of unikernels.
Reactively defending against advanced cybersecurity threats.
Restoring trust in the cyber space.
Timely and RObust Patching of Industrial Control Systems.
How I learned to stop worrying and love unreliable hardware (VENI project).
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.
Secure hardware-software architectures for robust computing systems.
Reverse engineering of complex program binaries.