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

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.

Cisco

SecureCode

Fast and comprehensive memory safety for systems software.

Microsoft

OutSider

Assessing and mitigating side channels on commodity platforms.

Past projects

SHARCS (H2020)

Secure hardware-software architectures for robust computing systems.

Rosetta (ERC)

Reverse engineering of complex program binaries.