Sandler gave a much longer version of the talk at LCA https://www.youtube.com/watch?v=5XDTQLa3NjE https://www.youtube.com/watch?v=5XDTQLa3NjE The paper both ar

Sandler gave a much longer version of the talk at LCA https://www.youtube.com/watch?v=5XDTQLa3NjE https://www.youtube.com/watch?v=5XDTQLa3NjE The paper both are based on is at https://www.softwarefreedom.org/news/2010/jul/21/software-defects-cardiac-medical-devices-are-life-/ https://www.softwarefreedom.org/news/2010/jul/21/software-de... edit: Also, similar points can be made about other embedded and safety-critical software. security through obscurity in automobiles is scary, some materials on this at http://she-devel.com http://she-devel.com