Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks
Abstract
In this paper, we propose a framework called Contego-TEE to secure Internet-of-Things (IoT) edge devices with timing requirements from control spoofing attacks where an adversary sends malicious control signals to the actuators. We use a trusted computing base available in commodity processors (such as ARM TrustZone) and propose an invariant checking mechanism to ensure the security and safety of the physical system. A working prototype of Contego-TEE was developed using embedded Linux kernel. We demonstrate the feasibility of our approach for a robotic vehicle running on an ARM-based platform.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2019
- DOI:
- 10.48550/arXiv.1908.09444
- arXiv:
- arXiv:1908.09444
- Bibcode:
- 2019arXiv190809444H
- Keywords:
-
- Computer Science - Cryptography and Security;
- Electrical Engineering and Systems Science - Systems and Control
- E-Print:
- 2nd Workshop on the Internet of Things Security and Privacy - Iot S&