Day 1 : Dec 5

From To Session
8:30 9:00 : Breakfast
9:00 9:30 : Opening Remarks
9:30 10:30 : Area Chairs Identify Track Themes
10:30 11:00 : Break (Coffee)
11:00 12:00 : Global Discussion of Tracks and Themes
12:00 1:00 : Break (Lunch)
1:00 2:30 : Breakout session #1 (Fixed)
2:30 2:45 : Break (Coffee)
2:45 4:00 : Breakout session #2 (Fluid)
4:00 5:00 : (Keynote)[keynote.html]

Day 2 : Dec 6

From To Session
8:30 9:00 : Breakfast
9:00 10:40 : Presentations by area chairs summarizing discussion
10:40 11:00 : Break (Coffee)
11:00 12:00 : Global discussion
12:00 12:30 : Chairs summary of conclusions and recommendations for each area


Speaker: Stefan Savage, UCSD

Title: “Experiences with Automotive Security: Vulnerabilities, Causes and Challenges”

Abstract: Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular networks. While this transformation has driven major advancements in efficiency and safety, it has also introduced a range of new potential risks. In joint work between UC San Diego and the University of Washington, we have experimentally identified and demonstrated software vulnerabilities in conventional passenger vehicles that allow near-arbitrary control without requiring any physical access. In this talk I will briefly describe our findings in this work, our assessment of the underlying causes and some of the challenges (both technical and non-technical) moving forwards to secure the automotive platform.

Bio: Stefan Savage is a professor of Computer Science and Engineering at the University of California, San Diego. He received his Ph.D. in Computer Science and Engineering from the University of Washington and a B.S. in Applied History from Carnegie Mellon University. Savage’s research interests lie at the intersection of distributed systems, networking, and computer security, with a current focus on embedded security and the economics of cybercrime. He currently serves as director of UCSD’s Center for Network Systems (CNS) and as co-director for the Cooperative Center for Internet Epidemiology and Defenses (CCIED), a joint effort between UCSD and the International Computer Science Institute. Savage is a fairly down-to-earth guy and only writes about himself in the third person when asked.

Funded By NSF Awarded CCF-1242686.
National Science Foundation Workshop
Formal Methods: Future Directions & Its Transition To Practice
Home Agenda Schedule Local Information Participants Keynote Documents