Our projects are funded by the following organizations.
Secure hardware-software architectures for robust computing systems.
Restoring trust in the cyber space.
Finding security bugs by means of reverse engineering.
Lightweight code self–verification for IoT devices.
Opening backdoors on embedded devices.
Analysis and detection of financial malware.
Attack surface reduction for binary programs.
Assessing and mitigating side channels on commodity platforms.
Reverse engineering of complex program binaries.