Octopi: Säker Programering för Sakernas Internet
Research Project , 2018 – 2023

The Internet of Things (IoT) conceives a future where “things” are interconnected by means of suitable information and communication technologies. Unfortunately, recent events have demonstrated the high vulnerability of IoT. This situation calls for immediate action: most European industries will move to IoT by 2020, where the ability of Swedish industry to confront this shift will determine its competitiveness in the near future. There are three root problems in IoT which makes security hard to achieve: lack of security expertise, the use of low-level programming languages (which makes difficult to program securely), and no system-wide control. Octopi will develop technology to easily and securely program the IoT by the use of high-level languages. The proposal focus on developing a programming model which protects (system-wide) privacy and integrity of data. To exhibit it, Octopi delivers a demonstrator in cooperation with Pelagicore AB--a company specialized in driver-facing systems. While high-level languages are better fit for security, they have the drawback of high resource requirements. In this light, Octopi introduces novel techniques to take high-level languages into embedded constrained devices. To evaluate such techniques, Octopi delivers a demonstrator in cooperation with LumenRadio AB--a company which develops "things" for IoT. To achieve all its goals, Octopi brings together experts in security, programming languages, and hardware design.

Participants

Alejandro Russo (contact)

Biträdande professor vid Chalmers, Computer Science and Engineering (Chalmers), Information Security

John Hughes

Professor vid Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Koen Lindström Claessen

Professor vid Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Carl-Johan Seger

Forskningsprofessor vid Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Mary Sheeran

Professor vid Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Collaborations

Ericsson AB

Stockholm, Sweden

LumenRadio AB

Göteborg, Sweden

Pelagicore AB

Göteborg, Sweden

Funding

Swedish Foundation for Strategic Research (SSF)

Funding Chalmers participation during 2018–2023 with 30,070,000.00 SEK

Related Areas of Advance and Infrastructure

Information and Communication Technology

Areas of Advance

More information

Project Web Page at Chalmers

https://www.chalmers.se/sv/projekt/Sidor/O...

Latest update

2018-11-08