Our projects are funded by the following organizations.

EU/H2020

REACT

Reactively defending against advanced cybersecurity threats.

SHARCS

Secure hardware-software architectures for robust computing systems.

Protasis

Restoring trust in the cyber space.

NWO

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

Rosetta (ERC)

Reverse engineering of complex program binaries.