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.