Our projects are funded by the following organizations.
EU/H2020
Unicore
A common code base and tools for unleashing the power of unikernels.
REACT
Reactively defending against advanced cybersecurity threats.
Protasis
Restoring trust in the cyber space.
NWO
INTERSECT
Internet of Secure Things.
TROPICS
Timely and RObust Patching of Industrial Control Systems.
Memory Feng Shui
How I learned to stop worrying and love unreliable hardware (VENI project).
PantaRhei
How to securely update a trillion devices and sleep through the night (VENI project).
Dowser
Finding security bugs by means of reverse engineering (VICI project).
Parallax
Lightweight code self–verification for IoT devices.
OpenSesame
Opening backdoors on embedded devices.
Malpay
Analysis and detection of financial malware.
ONR
BinRec
Attack surface reduction for binary programs.
VMware
Early Career Faculty Grant
Systems security research.
Cisco
SecureCode
Fast and comprehensive memory safety for systems software.
Intel
OffCore
Beyond Attacks on CPU caches and cores: Discovery, Assessment and Mitigation.
Microsoft
OutSider
Assessing and mitigating side channels on commodity platforms.
Qualcomm
Qualcomm Research Grant
Hardware security research.
Huawei
CrashLens
Automated crash analysis.
Past projects
SHARCS (H2020)
Secure hardware-software architectures for robust computing systems.
Rosetta (ERC)
Reverse engineering of complex program binaries.