Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards Formal Verification of Contiki OS: Analysis of the AES-CCM* Modules with Frama-C
IMT Lille Douai, France.
CEA, France.
RISE - Research Institutes of Sweden, ICT, SICS. nria Lille, France. (Computer Systems Laboratory)ORCID-id: 0000-0001-7592-1048
RISE - Research Institutes of Sweden, ICT, SICS. (Security Lab)ORCID-id: 0000-0001-8192-0893
2018 (Engelska)Ingår i: 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, 2018Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The number of Internet of Things (IoT) applications israpidly increasing and allows embedded devices today tobe massively connected to the Internet. This raises softwaresecurity questions. This paper demonstrates the usageof formal verification to increase the security of Contiki,a popular open-source operating system for the IoT. Wepresent a case study on deductive verification of encryptiondecryptionmodules of Contiki (namely, AES–CCM*) usingFrama-C, a software analysis platform for C code.

Ort, förlag, år, upplaga, sidor
2018.
Nyckelord [en]
Formal Verification, AES, Frama-C, Security. Contiki
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:ri:diva-32980OAI: oai:DiVA.org:ri-32980DiVA, id: diva2:1170464
Konferens
Workshop on Recent advances in secure management of data and resources in the IoT (RED-IOT), February 14-16, 2018, Madrid, Spain.
Tillgänglig från: 2018-01-03 Skapad: 2018-01-03 Senast uppdaterad: 2018-03-16Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

https://hal.inria.fr/hal-01670119

Personposter BETA

Duquennoy, SimonRaza, Shahid

Sök vidare i DiVA

Av författaren/redaktören
Duquennoy, SimonRaza, Shahid
Av organisationen
SICS
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 31 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.8