@inproceedings{6b0d952ef31042c3a2574852adee7373,
title = "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.",
keywords = "arm trustzone, control systems, real-time systems, security",
author = "Monowar Hasan and Sibin Mohan",
note = "Funding Information: The material in this paper is based upon work supported in part by the by the U.S. National Science Foundation (NSF) under grant NSF SaTC 1718952 and Department of Energy (DoE) under grant DE-OE0000780. Any findings, opinions, recommendations or conclusions expressed in the paper are those of the authors and do not necessarily reflect the views of sponsors. Publisher Copyright: {\textcopyright} 2019 ACM.; 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things, IoT S and P 2019 ; Conference date: 15-11-2019",
year = "2019",
month = nov,
day = "15",
doi = "10.1145/3338507.3358615",
language = "English (US)",
series = "IoT S and P 2019 - Proceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things",
publisher = "Association for Computing Machinery, Inc",
pages = "8--14",
booktitle = "IoT S and P 2019 - Proceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things",
}