Second-Order Low-Randomness d + 1 Hardware Sharing of the AES.
本文针对 AES 加密算法的硬件实现，提出了一种新的二阶掩码方案，旨在抵抗侧信道攻击（如功耗分析）。传统的掩码技术需要大量随机数来保证安全性，而本文通过最小化共享数量（仅需 d+1 个共享，其中 d=2）和降低随机数复杂度，显著提升了效率。
#masking
共收录 8 条相关情报。
← 返回所有主题A Thorough Evaluation of RAMBAM.
本文对RAMBAM方案进行了全面评估。RAMBAM是一种针对AES加密算法的掩码防护对策，旨在抵御侧信道分析（SCA）攻击。掩码被认为是抵抗SCA最鲁棒且最可靠的防御手段，但其实现代价高昂，包括面积、延迟开销以及需要新鲜随机数来保证安全属性
Low-Latency Hardware Private Circuits.
本文针对硬件实现密码算法时抵抗侧信道攻击（SCA）的掩码（masking）对策，提出了一种低延迟的硬件私有电路设计方法。掩码是保护密码硬件免受侧信道攻击的有效手段，但现有方案在随机性需求、延迟和面积开销之间存在权衡。作者专注于设计可组合的掩
Formal Verification of Probing Security via Conditional Independence
本文针对密码系统侧信道攻击的掩码防御机制，提出了一种基于概率分离逻辑的形式化验证方法，用于自动验证掩码算法的非干扰性安全属性。作者首先建立了非干扰性与条件独立性之间的数学联系，从而将安全验证问题转化为条件独立性推理问题。随后，利用现有的Li
Real-World Snapshots vs. Theory: Questioning the t-Probing Security Model.
这篇论文对物理侧信道攻击（SCA）中广泛使用的掩码（masking）防护技术所依赖的t-探测安全模型提出了质疑。掩码通过将每个敏感中间变量随机分割成至少t+1个份额，并假设攻击者最多只能同时探测t个份额（例如使用微探针针尖）或进行t阶统计分
Rosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers.
该论文提出了一种名为Rosita的自动化框架，旨在消除密码算法中的功耗分析泄漏。功耗分析攻击利用设备在执行加密操作时功耗与处理数据之间的相关性，来窃取密钥等敏感信息。掩码（Masking）是一种广泛使用的算法级对策，通过在中间值中引入随机掩
Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
本文（系列第6篇）聚焦后量子密码学中基于NTT（数论变换）硬件的算术掩码组合安全性。布尔掩码的组合理论（NI、SNI、PINI）已成熟，但素数域上的算术掩码（NTT后量子密码的基础）缺乏类似理论。作者提出并形式化证明了素数域上PINI（Pr
Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware
本论文针对后量子密码（PQC）硬件实现中的掩码Barrett reduction的侧信道泄漏问题，提出首个通用且机器验证的基数界限——1-Bit Barrier。Barrett reduction是基于NTT的PQC实现（如ML-KEM、M