@mastersthesis{savich2020taint,author={Savich, Melisa K.},title={Taint-Driven Firmware Fuzzing of Embedded Systems},school={New York University},address={New York, NY},year={2020},month=may}
In Autonomous Vehicle (AV) platooning, vehicles queue up with minimal following distances for improved traffic density and fuel economy. If one vehicle is compromised and suddenly brakes, these AVs will most likely be unable to prevent a collision. In this work, we propose a proactive approach to platooning security: Autonomous Vehicle contracts, in which AVs are architected to use secure enclaves to enforce agreed-upon driving rules, such as a restriction not to brake harder than a certain threshold while the contract is in effect. We explore whether AV contracts will be feasible in worst-case emergency situations while simultaneously under attack, when it is imperative to return full autonomy to AVs as soon as possible. Through our prototype contract implementation using Intel SGX enclaves, including measurement from real-world testing of wireless On-Board Units (OBUs), we show that AV contracts can be quickly and safely terminated in the event of an emergency while retaining a false positive rate of under 0.001% per 10 hours of use. We find that individual autonomy can be returned to the vehicles of an 8-vehicle platoon under contract within 1.5 seconds of an attack, including both detection and safe vehicle separation. Smaller platoons are even quicker. Consequently, automobile manufacturers may find the additional safety offered by AV contracts to provide a net benefit.
@inproceedings{8628319,doi={10.1109/VNC.2018.8628319},publisher={IEEE},location={Taipei, Taiwan},author={Erickson, Jeremy and Chen, Shibo and Savich, Melisa and Hu, Shengtuo and Mao, Z. Morley},booktitle={2018 IEEE Vehicular Networking Conference (VNC)},title={CommPact: Evaluating the Feasibility of Autonomous Vehicle Contracts},year={2018},month=dec,pages={1-8},keywords={Contracts;Autonomous vehicles;Safety;Hardware;Cryptography;Brakes;Automobiles},issn={2157-9865}}