FortBoot: Fortifying Rooted-in-Device-Specific Security Through Secure Booting

With the complex System-on-Chip (SoC) architectures ever-increasingly used in security-critical applications, realizing a secure boot procedure is of at-most importance, in which the integrity and authenticity of the firmware (FW) on hardware (HW), as well as the trustworthiness of the software (SW), will be verified. Considering the complexity of the existing solutions and their vulnerability to emerging attacks, in this paper, we propose FortBoot, which is a comprehensive framework to strengthen secure boot using an integration of (1) dynamic key generation for unique randomness against brute-force and guessing attacks; (2) Mutual FW-HW binding for restricting unauthorized and malicious FW load/execution; (3) anti-rollback measures for preventing the use of (maliciously) flawed/downgraded/altered FW to be loaded/executed on unauthorized HW; and (4) dynamic code attestation for providing real-time code integrity confirmation. To show its effectiveness, FortBoot is implemented on OpenTitan SoC, whose comprehensive security assessment verifies its resistance against a wide range of advanced attacks.

Authors

Institutions

Publication Details

Published
2024-10-06
DOI
https://doi.org/10.1109/vlsi-soc62099.2024.10767821
Citations
1
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.35
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

FortBoot: Fortifying Rooted-in-Device-Specific Security Through Secure Booting

Sajeed Mohammad, Farimah Farahmandi
1 citations
Security and Verification in Computing
0.35
article

FortBoot: Fortifying Rooted-in-Device-Specific Security Through Secure Booting

Sajeed Mohammad, Farimah Farahmandi
article en
1 citations

Abstract

With the complex System-on-Chip (SoC) architectures ever-increasingly used in security-critical applications, realizing a secure boot procedure is of at-most importance, in which the integrity and authenticity of the firmware (FW) on hardware (HW), as well as the trustworthiness of the software (SW), will be verified. Considering the complexity of the existing solutions and their vulnerability to emerging attacks, in this paper, we propose FortBoot, which is a comprehensive framework to strengthen secure boot using an integration of (1) dynamic key generation for unique randomness against brute-force and guessing attacks; (2) Mutual FW-HW binding for restricting unauthorized and malicious FW load/execution; (3) anti-rollback measures for preventing the use of (maliciously) flawed/downgraded/altered FW to be loaded/executed on unauthorized HW; and (4) dynamic code attestation for providing real-time code integrity confirmation. To show its effectiveness, FortBoot is implemented on OpenTitan SoC, whose comprehensive security assessment verifies its resistance against a wide range of advanced attacks.

University of Florida (US)
Openalex Percentile: Top 31%
Security and Verification in Computing
0.35
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

FortBoot: Fortifying Rooted-in-Device-Specific Security Through Secure Booting — Sajeed Mohammad, Farimah Farahmandi · (2024) | TGRS Research Map | TGRS