XiaoMi-AI文件搜索系统
World File Search SystemSASCA
在Keccak上模拟SASCA：量词后加密方案的安全含义
摘要：Keccak是一种标准哈希算法，在加密协议中用作伪随机函数（PRF），作为伪随机数生成器（PRNG），用于检查数据完整性或创建基于哈希的消息身份验证代码（HMAC）。在许多密码结构中，秘密数据都使用哈希功能处理。在这些情况下，恢复给出的散列算法的输入允许检索秘密数据。在本文中，我们研究了基于信仰传播（BP）框架的软分析侧通道攻击（SASCA）的应用，以恢复SHA-3实例的输入。借助模拟框架，我们通过对攻击者的恢复能力进行全面研究来扩展有关Keccak-F排列函数的现有工作，具体取决于哈希功能变体。然后，我们研究了SASCA对密码系统的安全含义，这些密码系统执行多个呼叫对哈希功能的调用，并具有从相同秘密数据中得出的输入。我们表明，攻击者可以有效利用此类构造，并通过针对Kyber的加密程序和Dilithium的签名例程来显示典型的用例。我们还表明，增加Kyber的安全参数意味着对SASCA的安全性较弱。最后，我们的研究提供了有关Keccak成功SASCA所需的最小位分类精度的见解。
单个痕量侧通道攻击在头脑中的MPC框架
摘要。在本文中，我们提出了第一个基于阈值秘密共享（也称为阈值计算）的单个痕量侧渠道攻击，该攻击以其原始版本为单位（TCITH）。这个MPCITH框架可以在美国国家标准技术研究所（NIST）呼吁数字签名的最近第二轮中的14个数字签名计划中的5个中找到。在这项工作中，我们首先要突出显示TCITH框架的侧向通道漏洞，并在SDITH算法上显示它的剥削，这是该NIST调用的一部分。具体来说，我们利用了Galois字段中乘法函数的泄漏来对中间值进行预测，并使用算法的结构有效地组合了信息。这使我们能够建立攻击，这既是针对MPCITH框架的第一个软分析侧通道攻击（SASCA），也是对SDITH的第一次攻击。更具体地说，我们使用阈值变体结构来重建秘密密钥，基于信念传播（BP）来建立一个基于信念传播（BP）的SASCA。我们在锤量重量（HW）泄漏模型下进行模拟攻击，以评估该方案对SASCA的阻力。然后，我们在实际情况下，更具体地说是在STM32F407上执行攻击，并为所有安全级别恢复秘密键。我们通过讨论我们可以用来减轻攻击的各种改组对策来结束本文。
CRYSTALS-Kyber 攻击概述和讨论
摘要。本文回顾了经典密码学中常见的攻击以及后量子时代针对 CRYSTALS-Kyber 的可能攻击。Kyber 是一种最近标准化的后量子密码学方案，依赖于格问题的难度。尽管它已经通过了美国国家标准与技术研究所 (NIST) 的严格测试，但最近有研究成功对 Kyber 进行了攻击，同时展示了它们在受控设置之外的适用性。本文讨论的攻击包括常见攻击、旁道攻击、SCA 辅助 CCA 和故障注入。在常见攻击部分，对对称原语的攻击、多目标攻击和利用解密失败的攻击都可以被视为不可行，而最近对模块 LWE 攻击的数据质疑了 Kyber 的安全级别。在旁道攻击部分，由于 Kyber 的恒定时间特性，时序攻击被证明是无用的，但 SASCA 攻击仍然可行，尽管很容易防御，缺点很少。然而，针对消息编码的攻击和使用深度学习的攻击都被证明是有效的，即使使用高阶掩码也是如此。LDPC 也被提议作为一种新的攻击框架，证明了其强大且具有发展空间。在 SCA 辅助 CCA 部分，EM 攻击和 CPA 攻击也都显示出潜力，但仍然难以防御。在故障注入部分，轮盘赌和容错密钥恢复都是最近提出的，数据证明了它们的有效性和防御难度。本文旨在为未来的研究人员提供洞察力，让他们了解应该关注哪些领域来加强当前和未来的密码系统。