SAFE^d: Self-Attestation For Networks of Heterogeneous Embedded Devices

09/18/2019
by   Alessandro Visintin, et al.
0

The Internet of Things (IoT) is an emerging paradigm that allows a fine-grained and autonomous control of the surrounding environment. This is achieved through a large number of devices that collaboratively perform complex tasks. To date, IoT networks are used in a variety of critical scenarios and therefore their security has become a primary concern. A robust technique to enhance the integrity of remote devices is called Remote Attestation (RA). However, classic RA schemes require a central and powerful entity, called Verifier, that manages the entire process of attestation. This makes the entire system dependent on an external entity and inevitably introduces a single point of failure. In our work, we present SAFE^d: the first concrete solution to self-attest autonomous networks of heterogeneous embedded devices. SAFE d overcomes the limitations of the previous works by spreading the duties of the Verifier among all the devices in a scalable way. In our schema, the information needed for the attestation phase is replicated inside the network, thus raising the bar to accomplish an attack. As a result, the IoT network can self-inspect its integrity and self-recover in case of attack, without the need of an external entity. Our proposal exploits the security guarantees offered by ARM TrustZone chips to perform a decentralized attestation protocol based on an enhanced version of a distributed hash table. We implemented a prototype of SAFE d for the Raspberry Pi platform to evaluate the feasibility and the security properties of our protocol. Moreover, we measured the scalable properties of SAFE d by using a large network of virtual devices. The results show that SAFE d can detect infected devices and recover up to 99.7 Moreover, we managed to protect 50 devices with a logarithmic overhead on the network and the devices' memory.

READ FULL TEXT
research
11/18/2018

WISE: Lightweight Intelligent Swarm Attestation Scheme for IoT (The Verifier's Perspective)

The growing pervasiveness of Internet of Things (IoT) expands the attack...
research
10/11/2019

SADAN: Scalable Adversary Detection in Autonomous Networks

Autonomous collaborative networks of devices are emerging in numerous do...
research
11/18/2018

slimIoT: Scalable Lightweight Attestation Protocol For the Internet of Things

The Internet of Things (IoT) is increasingly intertwined with critical i...
research
11/27/2019

A Secure and Robust Scheme for Sharing Confidential Information in IoT Systems

In Internet of Things (IoT) systems with security demands, there is ofte...
research
11/20/2020

A lightweight cryptography (LWC) framework to secure memory heap in Internet of Things

The extensive networking of devices and the large amount of data generat...
research
03/07/2023

ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations

The wide adoption of IoT gadgets and Cyber-Physical Systems (CPS) makes ...
research
11/03/2022

Out-of-Things Debugging: A Live Debugging Approach for Internet of Things

Context: Internet of Things (IoT) has become an important kind of distri...

Please sign up or login with your details

Forgot password? Click here to reset