English

LO-FAT: Low-Overhead Control Flow ATtestation in Hardware

Cryptography and Security 2018-10-04 v1

Abstract

Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, existing attestation schemes are either static and cannot detect control-flow attacks, or require instrumentation of software incurring high performance overheads. To overcome these limitations, we present LO-FAT, the first practical hardware-based approach to control-flow attestation. By leveraging existing processor hardware features and commonly-used IP blocks, our approach enables efficient control-flow attestation without requiring software instrumentation. We show that our proof-of-concept implementation based on a RISC-V SoC incurs no processor stalls and requires reasonable area overhead.

Keywords

Cite

@article{arxiv.1706.03754,
  title  = {LO-FAT: Low-Overhead Control Flow ATtestation in Hardware},
  author = {Ghada Dessouky and Shaza Zeitouni and Thomas Nyman and Andrew Paverd and Lucas Davi and Patrick Koeberl and N. Asokan and Ahmad-Reza Sadeghi},
  journal= {arXiv preprint arXiv:1706.03754},
  year   = {2018}
}

Comments

Authors' pre-print version to appear in DAC 2017 proceedings

R2 v1 2026-06-22T20:16:37.130Z