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.