Towards Formal Verification of Contiki OS : Analysis of the AES-CCM* Modules with Frama-C
Alexandre Peyrard, Nikolaï Kosmatov, Simon Duquennoy, Shahid Raza · 2018
The number of Internet of Things (IoT) applications israpidly increasing and allows embedded devices today tobe massively connected to the Internet. This raises softwaresecurity questions. This pap ...