Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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.
Vise andre og tillknytning
2018 (engelsk)Inngår i: Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018, s. 264-269Konferansepaper, Publicerat paper (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
2018. s. 264-269
Emneord [en]
AES, Formal Verification, Frama-C, Security. Contiki1
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-36449OAI: oai:DiVA.org:ri-36449DiVA, id: diva2:1271474
Konferanse
EWSN ’18 Proceedings of the 2018 International Conference on Embedded Wireless Systems and Network Madrid, Spain — February 14 - 16, 2018
Tilgjengelig fra: 2018-12-17 Laget: 2018-12-17 Sist oppdatert: 2019-01-22bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

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

Personposter BETA

Duquennoy, SimonRaza, Shahid

Søk i DiVA

Av forfatter/redaktør
Duquennoy, SimonRaza, Shahid
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 5 treff
RefereraExporteraLink to record
Permanent link

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