Open AccessTowards Formal Verification of Contiki: Analysis of the AES–CCM* Modules with Frama-C
Author(s) -
Alexandre Peyrard,
Nikolaï Kosmatov,
Simon Duquennoy,
Shahid Raza
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , internet of things , encryption , embedded system , software , formal verification , advanced encryption standard , operating system , computer security , programming language