DARPA PM Kathleen Fisher talks about the program to make high assurance systems possible, using the hackability of recent automobile automation as an example. More information, including slides, available here.