SODA

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

Peyrard, Alexandre and Kosmatov, Nikolai and Duquennoy, Simon and Raza, Shahid (2018) Towards Formal Verification of Contiki OS: Analysis of the AES-CCM* Modules with Frama-C. In: Proceedings of the Workshop on Recent advances in secure management of data and resources in the IoT (RED-IOT), February 14-16, 2018, Madrid, Spain.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
ID Code:6189
Deposited By:Simon Duquennoy
Deposited On:02 Jan 2018 12:26
Last Modified:02 Jan 2018 12:26

Repository Staff Only: item control page