The Trusted Things project develops new software systems to enable secure IoT leveraging trusted execution environment techniques.

The RetroFirm project aims to enhance the security of existing embedded devices by creating retrospective methods for firmware analysis and vulnerability detection.

The PeriShield project analyzes the security of various types of peripheral devices and it develops cutting-edge tools to detect/prevent malicious peripherals.

The AutoInsight project applies advanced techniques in software security and control systems to build a new security analysis platform for modern autonomous driving systems.

Robotic vehicles (also known as drones) are facing various threats of cyber-physical attacks that exploit their security vulnerabilities. RetroV develops automated analysis tools to find such vulnerabilities in existing robotic vehicle systems and retrofit their design against advanced cyber-physical attacks.