Your car can probably be hacked
DARPA PM Kathleen Fisher on High Assurance Systems
Dr. Kathleen Fisher speaks on DARPA's High-Assurance Cyber Military Systems (HACMS) program. The goal of the HACMS program is to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. To learn more, please visit http://go.usa.gov/PsI
