@inproceedings{65e7a893c0ac44fda3e7a9e5c7d89e94,
title = "Zero-Trust Communication between Chips",
abstract = "Outsourcing chip production is common among semiconductor vendors to cope with the increasing demand for integrated circuits. This has resulted in several security issues in the chip supply chain, including hardware trojans, intellectual property theft, and overproduction. Zero-trust presents a promising solution for ensuring the authenticity of Integrated Circuits (ICs), particularly in critical systems where adversary attacks can cause significant losses or damage. The Security Protocol and Data Model (SPDM) is a reliable protocol that uses certificates to ensure the authenticity of ICs. Based on this protocol, the presented paper proposes a chip-to-chip zero-trust security architecture that aims to verify the authenticity of any connected peripheral before its use. The contributions include an overview of the proposed architecture, implementation and formal verification of the SPDM protocol, and analysis of the challenges encountered during the implementation and execution.",
keywords = "Chip-to-chip communication, Formal verification, SPDM, SSL/TLS, Zero-trust",
author = "Kais Belwafi and Hamdan Alshamsi and Ashfaq Ahmed and Abdulhadi Shoufan",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 31st IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023 ; Conference date: 16-10-2023 Through 18-10-2023",
year = "2023",
doi = "10.1109/VLSI-SoC57769.2023.10321927",
language = "British English",
series = "IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC",
publisher = "IEEE Computer Society",
booktitle = "2023 IFIP/IEEE 31st International Conference on Very Large Scale Integration, VLSI-SoC 2023",
address = "United States",
}