Skip to Main content Skip to Navigation
Conference papers

Design and Verification of Secure Autonomous Vehicles

Ludovic Apvrille 1, 2 Letitia W. Li 1, 2 Annie Bracquemond 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Abstract : The rising wave of attacks on communicating embedded systems has exposed their users to risks of information theft, monetary damage, and personal injury. Unprotected remote access to connected features on conventional vehicles already can provide attackers operational control. With the impending introduction of autonomous vehicles, their increased connectivity of autonomous vehicles will offer even more avenues for attack. In this paper, we present a survey of previous attacks on connected vehicles, and the prospective security risks threatening autonomous vehicles. To address these vulnerabilities, previous projects on connected vehicle security, such as EVITA, proposed countermeasures including key distribution and Hardware Security Modules. The expense and overhead of these solutions can be high, leading us to place them only where necessary. We propose developing systems using our toolkit TTool, which locates insecure communications, and then determines performance impact of these countermeasures through modelling and formal verification.
Complete list of metadata
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:06:56 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM


  • HAL Id : hal-02287582, version 1


Ludovic Apvrille, Letitia W. Li, Annie Bracquemond. Design and Verification of Secure Autonomous Vehicles. 12th European ITS Congress, Jun 2017, Strasbourg, France. ⟨hal-02287582⟩



Record views