The RoboInsight (formerly AutoInsight) project leverages advanced techniques in program analysis, control-system modeling, and software hardening to develop a novel framework to enhance the safety and security of modern autonomous robotic systems, including robotic arms, mobile robots, and autonomous vehicles.

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.