Programming Languages for High Assurance Vehicles

IEEE LangSec 4 2017 Hacking conference
#hacking, #hackers, #infosec, #opsec, #IT, #security