Is your FPGA bitstream Hardware Trojan-free? Machine learning can provide an answer

e-Archivo Repository

e-Archivo estará en modo consulta durante los próximos días. Por favor, NO DEPOSITE ningún trabajo. Los enlaces a través del handle no están accesibles, si necesita hacer una búsqueda de sus publicaciones, pinche en "Navegar por" "Autores". Disculpen las molestias.

Show simple item record Palumbo, Alessandro Cassano, Luca Luzzi, Bruno Hernández Gutiérrez, José Alberto Reviriego Vasallo, Pedro Bianchi, Giuseppe Ottavi, Marco 2022-10-20T08:13:04Z 2022-07-01
dc.identifier.bibliographicCitation Palumbo, A., Cassano, L., Luzzi, B., Hernández, J. A., Reviriego, P., Bianchi, G. & Ottavi, M. (2022, julio). Is your FPGA bitstream Hardware Trojan-free? Machine learning can provide an answer. Journal of Systems Architecture, 128, 102543.
dc.identifier.issn 1383-7621
dc.description.abstract Software exploitable Hardware Trojan Horses (HTHs) inserted into commercial CPUs allow the attacker to run his/her own software or to gain unauthorized privileges. Recently a novel menace raised: HTHs inserted by CAD tools. A consequence of such scenario is that HTHs must be considered a serious threat not only by academy but also by industry. In this paper we try to answer to the following question: can Machine Learning (ML) help designers of microprocessor softcores implemented onto SRAM-based FPGAs at detecting HTHs introduced by the employed CAD tool during the generation of the bitstream? We present a comparative analysis of the ability of several ML models at detecting the presence of HTHs in the bitstream by exploiting a previously performed characterization of the microprocessor softcore and an associated ML training. An experimental analysis has been carried out targeting the IBEX RISC-V microprocessor running a set of benchmark programs. A detailed comparison of multiple ML models is conducted, showing that many of them achieve accuracy above 98%, and kappa values above 0.97. By identifying the most effective ML models and the best features to be employed, this paper lays the foundation for the integration of a ML-based bitstream verification flow.
dc.description.sponsorship J. A. Hernández and P. Reviriego acknowledge the ACHILLES PID2019-104207RB-I00 and 6G-INTEGRATION-3-TSI-063000-2021-127 projects and the Go2Edge RED2018-102585-T network funded by the Spanish Agencia Estatal de Investigación (AEI) 10.13039/501100011033 and the Madrid Community research project TAPIR-CM grant no. P2018/TCS-4496.
dc.format.extent 11
dc.language.iso eng
dc.publisher Elsevier
dc.rights © 2022 Elsevier B.V. All rights reserved.
dc.rights Atribución-NoComercial-SinDerivadas 3.0 España
dc.subject.other CAD
dc.subject.other Hardware security
dc.subject.other Hardware trojans
dc.subject.other Machine learning
dc.subject.other Microprocessors
dc.subject.other RISC-V
dc.subject.other SRAM-based FPGA
dc.title Is your FPGA bitstream Hardware Trojan-free? Machine learning can provide an answer
dc.type research article
dc.subject.eciencia Informática
dc.rights.accessRights embargoed access
dc.relation.projectID Comunidad de Madrid. S2018/TCS-4496
dc.relation.projectID Gobierno de España. PID2019-104207RB-I00
dc.relation.projectID Gobierno de España. TSI-063000-2021-127
dc.relation.projectID Gobierno de España. RED2018-102585-T
dc.identifier.publicationfirstpage 1
dc.identifier.publicationlastpage 11
dc.identifier.publicationtitle Journal of Systems Architecture
dc.identifier.publicationvolume 128
dc.identifier.uxxi AR/0000030705
carlosiii.embargo.liftdate 2024-07-01
carlosiii.embargo.terms 2024-07-01
dc.contributor.funder Comunidad de Madrid
dc.contributor.funder Agencia Estatal de Investigación (España)
dc.affiliation.dpto UC3M. Departamento de Ingeniería Telemática
dc.affiliation.grupoinv UC3M. Grupo de Investigación: Network Technologies
dc.type.hasVersion AM
 Find Full text

Files in this item

*Click on file's image for preview. (Embargoed files's preview is not supported)

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record