Conference paper Open Access

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

Peyrard, Alexandre; Kosmatov, Nikolai; Duquennoy, Simon; Raza, Shahid


BibTeX Export

@proceedings{peyrard_alexandre_2017_1160349,
  title        = {{Towards Formal Verification of Contiki: Analysis 
                   of the AES–CCM* Modules with Frama-C}},
  year         = 2017,
  publisher    = {Zenodo},
  month        = dec,
  doi          = {10.5281/zenodo.1160349},
  url          = {https://doi.org/10.5281/zenodo.1160349}
}
25
13
views
downloads
All versions This version
Views 2525
Downloads 1313
Data volume 3.7 MB3.7 MB
Unique views 2525
Unique downloads 1212

Share

Cite as