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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
82
56
views
downloads
All versions This version
Views 8282
Downloads 5656
Data volume 16.0 MB16.0 MB
Unique views 7878
Unique downloads 5151

Share

Cite as