SPARK 2014

Expanding the boundaries of safe and secure programming.

Learn more about SPARK 2014

Rod Chapman on Software Security

by Yannick Moy in Events, Videos – March 7, 2017

Rod Chapman gave an impactful presentation at Bristech conference last year. His subject: programming Satan's computer! His way of pointing out how difficult it is to produce secure software. Of course, it would not be Rod Chapman if he did not have also a few hints at how they have done it at Altran UK over the years. And SPARK is central to this solution, although it does not get mentioned explicitly in the talk! (although Rod lifts the cover in answering a question at the end)