面向单芯片密码学应用的隔离设计流程评估
密码学与安全
2025-01-28 v1 硬件体系结构
摘要
现场可编程门阵列（FPGA）越来越多地应用于各种场景。这是因为它们提供了以最小工作量实时重新编程和修改的灵活性。FPGA使用量的增加还必须确保其最终用户能够克服故障并在最严苛的环境中工作。如今的最终用户要求他们购买的系统保持功能正常。FPGA供应商Xilinx以隔离设计流程（简称IDF）的名义为其用户提供了这种保证。Xilinx声称IDF可以在提供灵活性的同时帮助确保用户可靠性。如果属实，那么可以从IDF中受益的应用非常广泛，例如航空电子、无人探测器、全自动驾驶汽车等。本论文通过按照隔离设计流程定义的规则和规定实现一个单芯片密码学应用（即高级加密标准），来检验Xilinx关于IDF的声明。本论文通过复制和注入符合IDF规则的系统故障，并直接记录其行为来观察IDF的有效性。本论文还可以通过提供收集到的统计数据来消除所有疑虑，从而为对IDF有效性感兴趣的最终用户和系统评估者提供除Xilinx之外的独立视角。
引用
@article{arxiv.2501.16217,
title = {Evaluation of isolation design flow (IDF) for Single Chip Cryptography (SCC) application},
author = {Arsalan Ali Malik},
journal= {arXiv preprint arXiv:2501.16217},
year = {2025}
}