Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C.

Alexandre Peyrard, Nikolai Kosmatov, Simon Duquennoy, Shahid Raza

Browse the full EWSN paper archive.