Chair: Henrique Madeira (University of Coimbra, Coimbra, Portugal)
Wilfried Steiner (Vienna University of Technology, TTTech Labs, Vienna, Austria), A Formal Methodology for the Analysis of Autonomous Driving Systems
Chair: Henrique Madeira (University of Coimbra, Coimbra, Portugal)
Paper 1: Tiny Black Boxes: A nano-Drone Safety Architecture, Connor Sexton (California Polytechnic State University/ San Luis Obispo, CA), Joseph Callenes (California Polytechnic State University/ San Luis Obispo, CA)
--- lunch ---
Chair: Andrea Ceccarelli (University of Florence, Florence, Italy)
Paper 2: Stealthy Data Corruption Attack Against Road Traffic Congestion Avoidance Applications, Aawista Chaudhry (Queen’s University, Kingston, ON, Canada), Talal Halabi (University of Winnipeg, Winnipeg, MB, Canada), Mohammad Zulkernine ( Queen’s University, Kingston, ON, Canada)
Paper 3: Alternative Route-Based Attacks in Metropolitan Traffic Systems, Sidney La Fontaine (Northeastern University - United States), Naveen Muralidhar (Northeastern University - United States), Michael Clifford (Toyota InfoTech Labs - United States), Tina Eliassi-Rad (Northeastern University - United States), Cristina Nita-Rotaru (Northeastern University - United States)
Paper 4: Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain, Marcello Cinque (Universita degli Studi di Napoli Federico II, Naples, Italy), Luigi De Simone (Universita degli Studi di Napoli Federico II, Naples, Italy), Andrea Marchetta (Universita degli Studi di Napoli Federico II, Naples, Italy)
--- coffee break ---
Chair: Paulo Veríssimo (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia)
Panelists:
Wilfried Steiner (Vienna University of Technology, TTTech Labs, Vienna, Austria)
Marcello Cinque (Universita degli Studi di Napoli Federico II, Naples, Italy)
Saurabh Jha (IBM Research, New York, USA)