Our projects are funded by the following organizations.
Reverse engineering of complex program binaries.
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.