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

The RetroFirm project focuses on analyzing and modifying the off-the-shelf firmware binary images of various cyber-physical and IoT systems to enhance their security.

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

The RoboInsight (formerly, AutoInsight) project applies advanced techniques in software security and control systems to build a new security analysis platform for modern robotic systems, including mobile robots and autonomous driving systems.

Robotic vehicles (as 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 retrospectively and retrofits their design against advanced cyber-physical attacks.