Securing Autonomous Vehicles

This talk delves into the fundamentals of security for autonomous vehicles, exploring the challenges and existing solutions in this rapidly evolving field. It discusses the limitations of current security measures and introduces the application of formal methods to model safety and security in autonomous vehicles. The talk outlines the process of applying formal methods to analyze security aspects for autonomous vehicles, emphasizing their role in ensuring robustness and resilience. It further explores the synergy between artificial intelligence and formal methods, showcasing how these two domains collaborate to overcome vulnerabilities in autonomous vehicles. At the end, the talk covers relevant tooling and provides insights into real-world scenarios where formal methods contribute to enhancing the security of autonomous vehicles. Lastly, it concludes udergoing and in perspectives projects related to the security of autonomous systems.