HERA: Hotpatching of Embedded Real-time Applications
Christian Niesler, Sebastian Surminski, Lucas Davi
Abstract
Memory corruption attacks are a pre-dominant attack vector against IoT devices. Simply updating vulnerable IoT software is not always possible due to unacceptable downtime and a required reboot. These side-effects must be avoided for highly-available embedded systems such as medical devices and, generally speaking, for any embedded system with real-time constraints. To avoid downtime and reboot of a system, previous research has introduced the concept of hotpatching. However, the existing approaches cannot be applied to resource-constrained IoT devices. Furthermore, possible hardware-related issues have not been addressed, i.e., the inability to directly modify the firmware image due to read-only memory.
In this paper, we present the design and implementation of HERA (Hotpatching of Embedded Real-time Applications) which utilizes hardware-based built-in features of commodity Cortex-M microcontrollers to perform hotpatching of embedded systems. HERA preserves hard real-time constraints while keeping the additional resource usage to a minimum. In a case study, we apply HERA to two vulnerable medical devices. Furthermore, we leverage HERA to patch an existing vulnerability in the FreeRTOS operating system. These applications demonstrate the high practicality and efficiency of our approach.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 559bdbda-4efe-4632-ba06-dd4277e311daCited by top-tier papers16
- Your Firmware Has Arrived: A Study of Firmware Update VulnerabilitiesYuhao Wu, Jinwen Wang, Yujie Wang, Shixuan Zhai et al.USENIX Security 2024 · 33 citations
- RealSWATT: Remote Software-based Attestation for Embedded Devices under Realtime ConstraintsSebastian Surminski, Christian Niesler, Ferdinand Brasser, Lucas Davi et al.CCS 2021 · 25 citations
- OPEC: operation-based security isolation for bare-metal embedded systemsXia Zhou, Jiaqi Li, Wenlong Zhang, Yajin Zhou et al.EuroSys 2022 · 18 citations
- Save the Bruised Striver: A Reliable Live Patching Framework for Protecting Real-World PLCsMing Zhou, Haining Wang, Ke Li, Hongsong Zhu et al.EuroSys 2024 · 9 citations
- Perils and Mitigation of Security Risks of Cooperation in Mobile-as-a-Gateway IoTXin'an Zhou, Jiale Guan, Luyi Xing, Zhiyun QianCCS 2022 · 9 citations
Builds on3
- SoK: Security Evaluation of Home-Based IoT DeploymentsOmar Alrawi, Chaz Lever, Manos Antonakakis, Fabian MonroseS&P 2019 · 411 citations
- C-FLAT: Control-Flow Attestation for Embedded Systems SoftwareTigist Abera, N. Asokan, Lucas Davi, Jan-Erik Ekberg et al.CCS 2016 · 311 citations
- An Experimental Security Analysis of an Industrial Robot ControllerDavide Quarta, Marcello Pogliani, Mario Polino, Federico Maggi et al.S&P 2017 · 169 citations
Related papers
- Kintsugi: Secure Hotpatching for Code-Shadowing Real-Time Embedded SystemsPhilipp Mackensen, Christian Niesler, Roberto Blanco, Lucas Davi et al.USENIX Security 2025
- Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame ReconstructionMing Zhou, Xupu Hu, Zhihao Wang, Haining Wang et al.CCS 2025 · 1 citation
- AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded DevicesMohsen Salehi, Karthik PattabiramanCCS 2024 · 3 citations
- RapidPatch: Firmware Hotpatching for Real-Time Embedded DevicesYi He, Zhenhua Zou, Kun Sun, Zhuotao Liu et al.USENIX Security 2022
- Building Embedded Systems Like It's 1996Ruotong Yu, Francesca Del Nin, Yuchen Zhang, Shan Huang et al.NDSS 2022
