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.

Available Work

• Mayday: A post-mortem analysis framework for robotic aerial vehicle accidents (paper)
• RVFuzzer: A fuzzing tool to find control-semantic bugs in robotic vehicles (paper)
• Minion: A framework for enforcing memory isolation on real-time microcontrollers (paper)
• RevARM: A static binary instrumentation tool for off-the-shelf ARM binary programs (paper)