Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C. - Alexandre Peyrard; Nikolai Kosmatov; Simon Duquennoy; Inria Lille; Shahid Raza (EWSN, 2018)