Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • 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.
Show others and affiliations
2018 (English)In: Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018, p. 264-269Conference paper, Published paper (Other academic)
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.

Place, publisher, year, edition, pages
2018. p. 264-269
Keywords [en]
AES, Formal Verification, Frama-C, Security. Contiki1
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-36449OAI: oai:DiVA.org:ri-36449DiVA, id: diva2:1271474
Conference
EWSN ’18 Proceedings of the 2018 International Conference on Embedded Wireless Systems and Network Madrid, Spain — February 14 - 16, 2018
Available from: 2018-12-17 Created: 2018-12-17 Last updated: 2019-01-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

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

Authority records BETA

Duquennoy, SimonRaza, Shahid

Search in DiVA

By author/editor
Duquennoy, SimonRaza, Shahid
By organisation
SICS
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 17 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.8