RVFuzzer - Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing

Explore a conference talk on RVFuzzer, a vetting system designed to uncover input validation bugs in robotic vehicle control programs through control-guided testing. Learn about the vulnerability of robotic vehicles to attacks exploiting input validation bugs, which can cause physical disruptions and mission failures. Discover how RVFuzzer leverages the RV control model to improve bug-discovery accuracy and efficiency, using a control instability detector and steering input generation. Gain insights into the evaluation of RVFuzzer on popular RV control programs, revealing numerous zero-day bugs. Understand the importance of addressing security issues in robotic vehicles to enable their wider deployment across various application domains.

Introduction
What is a robot
How a robot works
Scaling controller
Nature of control semantic box
Wind effect
Control loop purging
Overview
Single parameter mutation example
Exploitation
Summary
Questions