Our projects are funded by the following organizations.

EU/H2020

SHARCS

Secure hardware-software architectures for robust computing systems.

Protasis

Restoring trust in the cyber space.

NWO

Dowser

Finding security bugs by means of reverse engineering.

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.

Microsoft

OutSider

Assessing and mitigating side channels on commodity platforms.

Past projects

Rosetta (ERC)

Reverse engineering of complex program binaries.