Researcher, Formal Analysis for Secure Connected Cars Toyota InfoTechnology Center Mountain View, CA 94043 May 27, 2017 Engineering Send to friend Save Share View more 9 years ago