Dear all, I would like to announce a recent publication by fortiss. Our paper has been accepted for publication at VNC 2020. It acknowledges the SPARTA project. Our paper is related to our research activities performed in T5.2 (Convergence of security and safety). Title: A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Authors: Yuri Gil Dantas (fortiss, Germany), Vivek Nigam (fortiss, Germany), Carolyn Talcott (SRI International, USA) Conference: 2020 IEEE Vehicular Networking Conference (VNC) The paper is attached. Cheers, Yuri -- fortiss · Landesforschungsinstitut des Freistaats Bayern An-Institut Technische Universität München​ ​Guerickestraße 25 80805 München Germany Tel.: +49 (89) 3603522 193 Fax: +49 (89) 3603522 50 E-Mail: dantas(a)fortiss.org https://www.fortiss.org/ ​ Amtsgericht München: HRB: 176633 USt-IdNr.: DE263907002, Steuer-Nr.: 143/237/25900 Rechtsform: gemeinnützige GmbH Sitz der Gesellschaft: München Geschäftsführer: Dr. Harald Rueß, Thomas Vallon Vorsitzender des Aufsichtsrats: Dr. Manfred Wolter​