DM-RSA-OAEP：基于物理多样性的双模数故障检测对策形式化分析

DM-RSA-OAEP 是修复版双模数 RSA 变体，论文为其给出随机预言机模型下完整的 IND-CCA2 安全证明，安全性上界受较弱 RSA-OAEP 实例约束并给出显式模拟损失。作者还提出覆盖计算、密钥与验证故障（含 safe-error 攻击）的故障检测定理，并分析物理多样性假设被破坏（单芯片共模故障）时该对策失效。论文明确将其定位为具备可证明检测保证的故障对策，而非计算上更强的 RSA。