Ä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: Analysis of the AES-CCM* Modules with Frama-C
IMT Lille Douai, France.
CEA, France.
RISE - Research Institutes of Sweden, ICT, SICS.ORCID-id: 0000-0001-7592-1048
Nord Europe, France.
Visa övriga samt affilieringar
2018 (Engelska)Ingår i: Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018, s. 264-269Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
Abstract [en]

The number of IoT (Internet of Things) applications is rapidly increasing and allows embedded devices today to be massively connected to the Internet. This raises software security questions. This paper demonstrates the usage of formal verification to increase the security of Contiki OS, a popular open-source operating system for IoT. We present a case study on deductive verification of encryption-decryption modules of Contiki (namely, AES--CCM*) using Frama-C, a software analysis platform for C code.

Ort, förlag, år, upplaga, sidor
2018. s. 264-269
Nyckelord [en]
AES, Formal Verification, Frama-C, Security. Contiki1
Nationell ämneskategori
Naturvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-36449OAI: oai:DiVA.org:ri-36449DiVA, id: diva2:1271474
Konferens
EWSN ’18 Proceedings of the 2018 International Conference on Embedded Wireless Systems and Network Madrid, Spain — February 14 - 16, 2018
Tillgänglig från: 2018-12-17 Skapad: 2018-12-17 Senast uppdaterad: 2019-01-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

http://dl.acm.org/citation.cfm?id=3234847.3234910

Personposter BETA

Duquennoy, SimonRaza, Shahid

Sök vidare i DiVA

Av författaren/redaktören
Duquennoy, SimonRaza, Shahid
Av organisationen
SICS
Naturvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 5 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.7