针对 CRT-RSA 故障注入攻击对策的形式化证明
密码学与安全
2014-06-16 v1
摘要
在本文中，我们描述了一种旨在破坏或证明 CRT-RSA 实现抵御故障注入攻击安全性的方法。在 BellCoRe 攻击的具体案例研究中，我们的工作弥合了形式化证明与实现级攻击之间的差距。我们将结果应用于三种 CRT-RSA 实现，即无保护实现、Shamir 的实现以及 Aum"uller 等人的实现。我们的发现是，无保护实现和 Shamir 实现都可能遭受多种攻击，而 Aum"uller 等人的实现能抵御所有单故障攻击。若考虑其作者提出的较弱威胁模型，该实现也能抵御双故障攻击。
引用
@article{arxiv.1401.8170,
title = {A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA},
author = {Pablo Rauzy and Sylvain Guilley},
journal= {arXiv preprint arXiv:1401.8170},
year = {2014}
}
备注
PROOFS, Santa Barbara, CA : United States (2013)