Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing
硬件在设计制造之前通常通过寄存器传输级（RTL）仿真进行验证。为了测试与安全相关的信息流属性（如机密性和完整性），可以在设计中自动添加污点逻辑来跟踪信息如何流动。然而，最先进的污点逻辑仪器（如CellIFT）使基于仿真的测试开销过高：在Me
#侧信道
共收录 4 条相关情报。
← 返回所有主题Lend Me Your Ear: Passive Remote Physical Side Channels on PCs.
该论文针对个人计算设备在实际运行时不可避免地向外辐射物理信号（如电磁波、声音、热变化等）的问题，研究如何在不接触目标设备的前提下，利用这些信号窃取敏感信息。传统密码分析通常假设攻击者能够直接观测设备或拥有网络控制权，而物理侧信道攻击则通过分
Typing High-Speed Cryptography against Spectre v1.
该论文针对密码学软件中的瞬态执行攻击（尤其是Spectre v1）提出了一种基于类型系统的方法，以确保推测性常数时间（Speculative Constant-Time），从而在保持高性能的同时为密码实现提供形式化保证。当前密码库的黄金标准
The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Standard Modular Reductions in PQC Hardware
该论文是系列正式验证分析掩码NTT（数论变换）硬件安全性论文的第7篇，针对后量子密码（PQC）硬件中的侧信道泄漏问题。论文证明了在任意深度k级流水线中，采用新鲜中间掩码和每级PF-PINI(≤2)小工具（gadgets）的掩码NTT实现，每