Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott. A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. In IEEE Vehicular Networking Conference, VNC 2020, New York, NY, USA, December 16-18, 2020. pages 1-8, IEEE, 2020. [doi]
Abstract is missing.