Paper 2019/405

A Novel FPGA Architecture and Protocol for the Self-attestation of Configurable Hardware

Jo Vliegen, Md Masoom Rabbani, Mauro Conti, and Nele Mentens

Abstract

Field-Programmable Gate Arrays or FPGAs are popular platforms for hardware-based attestation. They offer protection against physical and remote attacks by verifying if an embedded processor is running the intended application code. However, since FPGAs are configurable after deployment (thus not tamper-resistant), they are susceptible to attacks, just like microprocessors. Therefore, attesting an electronic system that uses an FPGA should be done by verifying the status of both the software and the hardware, without the availability of a dedicated tamper-resistant hardware module. Inspired by the work of Perito and Tsudik, this paper proposes a partially reconfigurable FPGA architecture and attestation protocol that enable the self-attestation of the FPGA. Through the use of our solution, the FPGA can be used as a trusted hardware module to perform hardware-based attestation of a processor. This way, an entire hardware/software system can be protected against malicious code updates.

Note: This submission is based on preliminary work by the same authors reported in the paper“SACHa: Self-Attestation of Configurable Hardware”- accepted in the Proceedings of the Design Automation and Test in Europe Conference(DATE’19).

Metadata
Available format(s)
PDF
Category
Implementation
Publication info
Published elsewhere. Major revision. SACHa: Self-Attestation of Configurable Hardware. In Proceedings of the Design Automation and Test in Europe Conference (DATE 2019)
Keywords
FPGAconfigurable hardwareremote attestationhardware-based attestationpartial reconfigurationICAPconfiguration readback
Contact author(s)
rabbani @ math unipd it
nele mentens @ kuleuven be
History
2019-04-22: received
Short URL
https://ia.cr/2019/405
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2019/405,
      author = {Jo Vliegen and Md Masoom Rabbani and Mauro Conti and Nele Mentens},
      title = {A Novel FPGA Architecture and Protocol for the Self-attestation of Configurable Hardware},
      howpublished = {Cryptology ePrint Archive, Paper 2019/405},
      year = {2019},
      note = {\url{https://eprint.iacr.org/2019/405}},
      url = {https://eprint.iacr.org/2019/405}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.