TRANSPOSE：面向空间感知的LFI鲁棒FSM编码的过渡方法
密码学与安全
2024-11-06 v1
摘要
有限状态机（FSM）控制时序电路，包括对敏感信息和特权CPU状态的访问。得益于当代激光攻击研究，基于激光的故障注入（LFI）正变得更加精确，攻击者可以通过改变单个触发器（FF）的值来破坏芯片安全性。已开发了不同的激光模型，如位翻转（bit flip）、位置1（bit set）和位重置（bit reset），以评估实际目标上的LFI。由于传统方法可能引入大量开销，我们先前的工作提出了基于状态的SPARSE和基于转换的TAMED对策，以高效提高FSM的鲁棒性。TAMED克服了SPARSE过于保守的局限性，并能够按需为当代LFI模型生成多种LFI鲁棒编码。然而，SPARSE将其设计布局信息纳入了漏洞估计，使其漏洞估计指标更加准确。在本文中，我们扩展了TAMED，提出了一种基于转换的编码CAD框架（TRANSPOSE），该框架结合了空间转换漏洞指标，基于位翻转模型和置位-重置模型来量化FSM的设计易感性。TRANSPOSE还将其框架中集成了布局优化，以适应FF敏感区域之间的安全空间间距。所有TRANSPOSE方法均在5个多样化基准测试上进行了验证，并在安全性和开销方面优于现有的FSM编码方案/框架。
引用
@article{arxiv.2411.02798,
title = {TRANSPOSE: Transitional Approaches for Spatially-Aware LFI Resilient FSM Encoding},
author = {Muhtadi Choudhury and Minyan Gao and Avinash Varna and Elad Peer and Domenic Forte},
journal= {arXiv preprint arXiv:2411.02798},
year = {2024}
}
备注
14 pages, 11 figures