AIセキュリティポータル K Program
LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation
Share
Abstract
With the continuous evolution of computational devices, more and more applications are being executed remotely. The applications operate on a wide spectrum of devices, ranging from IoT nodes with low computational capabilities to large cloud providers with high capabilities. Remote execution often deals with sensitive data or executes proprietary software. Hence, the challenge of ensuring that the code execution will not be compromised rises. Remote Attestation deals with this challenge. It ensures the code is executed in a non-compromised environment by calculating a potentially large sequence of cryptographic hash values. Each hash calculation is computationally intensive and over a large sequence the overhead becomes extremely high. In this work, we propose LightFAt: a Lightweight Control Flow Attestation scheme. Instead of relying on the expensive cryptographic hash calculation, LightFAt leverages the readings from the processor's Performance Monitor Unit (PMU) in conjunction with a lightweight unsupervised machine learning (ML) classifier to detect whether a target application's control flow is compromised, hence improving the system's security. On the verifier's side, LightFAt reaches a detection accuracy of over 95%, with low false-negative and false-positive rates.
A survey of remote attestation in Internet of Things: Attacks, countermeasures, and prospects
B. Kuang, A. Fu, W. Susilo, S. Yu, Y. Gao
Published: 2022
C-FLAT: Control-flow attestation for embedded systems software
T. Abera, et al.
Published: 2016
Design and implementation of an efficient framework for behaviour attestation using n-call slides
R. Ismail, T. A. Syed, S. Musa
Published: 2014
Towards efficient control-flow attestation with software-assisted multi-level execution tracing
D. Papamartzivanos, S. A. Menesidou, P. Gouvas, T. Giannetsos
Published: 2021
HEALED: HEaling & Attestation for Low-End Embedded Devices
A. Ibrahim, A. R. Sadeghi, G. Tsudik
Published: 2019
SHeLA: Scalable Heterogeneous Layered Attestation
M. M. Rabbani, J. Vliegen, J. Winderickx, M. Conti, N. Mentens
Published: 2019
Wise: A lightweight intelligent swarm attestation scheme for the internet of things
M. Ammar, B. Crispo
Published: 2020
LAPE: A lightweight attestation of program execution scheme for bare-metal systems
D. Huo, Y. Wang, C. Liu, M. Li, Y. Wang, Z. Xu
Published: 2020
LO-FAT: Low-overhead control flow attestation in hardware
G. Dessouky, S. Zeitouni, T. Nyman, A. Paverd, L. Davi, P. Koeberl, N. Asokan, A.-R. Sadeghi
Published: 2017
LiteHAX: Lightweight hardware-assisted attestation of program execution
G. Dessouky, T. Abera, A. Ibrahim, A.-R. Sadeghi
Published: 2018
ReCFA: Resilient control-flow attestation
Y. Zhang, X. Liu, C. Sun, D. Zeng, G. Tan, X. Kan, S. Ma
Published: 2021
Tiny-CFA: A minimalistic approach for control-flow attestation using verified proofs of execution
I. D. O. Nunes, S. Jakkamsetti, G. Tsudik
Published: 2020
Arm Cortex-A53 MPCore Processor Technical Manual
ARM
Published: 2018
Hardware-assisted rootkits: Abusing performance counters on the ARM and x86 architectures
M. Spisak
Published: 2016
Pmu-leaker: Performance monitor unit-based realization of cache side-channel attacks
P. Qiu, Q. Gao, D. Wang, Y. Lyu, C. Wang, C. Liu, R. Sun, G. Qu
Published: 2023
Timewarp: Rethinking timekeeping and performance monitoring mechanisms to mitigate side-channel attacks
R. Martin, J. Demme, S. Sethumadhavan
Published: 2012
Cache-based side-channel attack mitigation for many-core distributed systems via dynamic task migration
J. Gonzalez-Gomez, L. Bauer, J. Henkel
Published: 2023
Smart detection of obfuscated thermal covert channel attacks in many-core processors
J. Gonzalez-Gomez, M. B. Sikal, H. Khdr, L. Bauer, J. Henkel
Published: 2023
Trust in IoT: dynamic remote attestation through efficient behavior capture
T. Ali, M. Nauman, S. Jan
Published: 2018
Machine-learning-based attestation for the internet of things using memory traces
M. N. Aman, H. Basheer, J. W. Wong, J. Xu, H. W. Lim, B. Sikdar
Published: 2022
Design and implementation of an attestation protocol for measured dynamic behavior
T. Ali, R. Ismail, S. Musa, M. Nauman, S. Khan
Published: 2018
A practical attestation protocol for autonomous embedded systems
F. Kohnhauser, N. B ¨ uscher, S. Katzenbeisser
Published: 2019
Lightweight swarm attestation: A tale of two LISA-s
X. Carpent, K. El Defrawy, N. Rattanavipanon, G. Tsudik
Published: 2017
DARPA: Device attestation resilient to physical attacks
A. Ibrahim, A. R. Sadeghi, S. Zeitouni, G. Tsudik
Published: 2016
Scikit-learn: Machine learning in python
F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg
Published: 2011
Share