TechRxiv
PAINE_2021_ViTaL.pdf (5.08 MB)
Download file

ViTaL: Verifying Trojan-Free Physical Layouts through Hardware Reverse Engineering

Download (5.08 MB)
preprint
posted on 22.02.2022, 05:34 by Matthias LudwigMatthias Ludwig, Ann-Christin Bette, Bernhard Lippmann
The semiconductor industry is heavily relying on outsourcing of design, fabrication, and testing to third parties. The threat of possibly malicious actors in this ramified supply-chain poses a risk for the integrity of integrated circuits (ICs) and hardware Trojans (HTs) are a heavily discussed topic in academia and the industry. A variety of pre- and post-silicon HT prevention and detection techniques has been suggested in prior works. Hardware reverse engineering has the potential to detect potential modification in physical layouts. Yet, there is no model to qualitatively and quantitatively rate the complex and expensive reverse engineering (RE) process addressing its inherent process aberrations and consequently provide a tool for layout verification. The ViTaL framework introduces a statistical validation technique, based on physical layout verification through RE and considers all potential sources of errors. The golden-model based framework is technology-agnostic, scaleable, and user input is optional. For the first time, results of fine pitch metallization layers of a CMOS 40nm process node IC are presented quantitatively and the limitations and possibilities are discussed.

Funding

Collaborative project: Systems and methods for the analysis and reconstruction of highly integrated safety circuits - RESEC - Subproject: Recognition of functional and malicious modules

Federal Ministry of Education and Research

Find out more...

History

Email Address of Submitting Author

matthias.ludwig@infineon.com

ORCID of Submitting Author

0000-0003-0517-8388

Submitting Author's Institution

Infineon Technologies AG

Submitting Author's Country

Germany

Usage metrics

Licence

Exports