Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018