CacheWarp: Software-based Fault Injection using Selective State Reset.
该论文提出了一种名为CacheWarp的新型软件故障注入方法，核心思想是通过选择性重置处理器状态来诱导系统出现可控的错误行为。与传统物理故障注入（如激光、电磁）不同，CacheWarp完全基于软件实现，无需接触硬件。其原理是利用处理器缓存行
#hardware-security
共收录 154 条相关情报。
← 返回所有主题VoltSchemer: Use Voltage Noise to Manipulate Your Wireless Charger.
本文提出了一种名为 VoltSchemer 的新型攻击方法，通过向无线充电器注入精心设计的电压噪声，攻击者可以操纵充电器的行为，从而实现对受电设备的非授权控制。研究背景在于无线充电技术日益普及，但现有安全研究多聚焦于通信协议层面，忽视了电源
Exploring Side-Channel Protections in Hardware Implementations of PQC ML-KEM Verification
本文聚焦后量子密码标准ML-KEM（即Kyber）在硬件实现中面临的侧信道攻击威胁。ML-KEM的解封装过程包含Fujisaki-Okamoto（FO）验证步骤，该步骤对功耗和电磁侧信道分析特别敏感。作者针对常见的FPGA实现和微控制器实现
GPU.zip: On the Side-Channel Implications of Hardware-Based Graphical Data Compression.
该论文研究了硬件图形数据压缩的侧信道安全隐患，重点关注 GPU 中集成的无损压缩模块（如 Display Stream Compression 或类似机制）如何意外地成为信息泄露的渠道。研究者发现，由于压缩算法对输入数据的统计特性敏感，其压
Mon CHERI: Mitigating Uninitialized Memory Access with Conditional Capabilities.
该论文聚焦于未初始化内存访问导致的内存安全问题。在C和C++等语言中，约10%的内存安全漏洞源于未初始化变量。现有软件缓解措施不足，而硬件能力模型（如剑桥大学的CHERI）能有效解决空间和时间内存安全缺陷，但无法处理未初始化变量引发的未定义
Nanoelectromechanical Systems (NEMS) for Hardware Security in Advanced Packaging
本文探讨了纳米机电系统（NEMS）作为一种新兴硬件安全原语在先进封装和半导体制造中的应用。随着硬件安全威胁（如篡改、伪造和供应链渗透）不断升级，现有数字安全方法面临逆向工程、侧信道攻击和环境退化等挑战。作者提出利用NEMS的机械不可预测性和
Leaking Circuit Secrets: Gradient Leakage Attacks on Graph Neural Networks
随着图神经网络（GNN）在电路设计与分析等关键任务中成为标准工具，其安全与隐私风险亟需关注。本文首次系统评估了梯度泄露攻击（GLA）对电路设计与硬件安全任务中GNN的威胁——这一实际风险此前被严重忽视。作者在标准网表基准（ISCAS'85、
Solver-Aided Constant-Time Hardware Verification.
本文提出 Xenon，一种求解器辅助的交互式形式化验证方法，用于证明 Verilog 硬件设计在常时执行。常时执行是抵御基于时序的侧信道攻击的关键属性。Xenon 通过引入常时反例的新概念，自动合成最小化秘密假设集合，并在交互式验证循环中定
BipBipCache: Pipeline-Aware Integration of Low-Latency Tweakable Encryption in an Embedded Cache Controller
该论文提出 BipBipCache，一种直接映射缓存控制器，集成了 BipBip 可调块密码（TBC），用于实时加密缓存数据和标签，以保护片上 SRAM 缓存中的敏感数据免受冷启动、总线探测和 SRAM 读出攻击。作者从以解密器为中心的规范
AutoPRAC: Automating Attack Discovery for PRAC-Based Rowhammer Defenses using Model Checkers
DDR5内存标准引入了每行激活计数（PRAC）作为缓解Rowhammer攻击的机制，通过跟踪每行的激活次数并在超过阈值时触发缓解刷新。然而，当前PRAC设计的安全性评估依赖于人工构造的攻击模式，缺乏对安全属性的形式化验证或自动化漏洞发现技术
Be Write Back: An in-depth Study of Fault Injection Effects on FRAM Technology.
本研究深入探讨了铁电随机存取存储器（FRAM）技术在面对故障注入攻击时的脆弱性。FRAM作为一种非易失性存储技术，广泛应用于医疗设备、工业控制系统和智能卡等安全敏感领域。论文通过系统性的实验设计，对FRAM芯片施加电压毛刺、电磁干扰和激光注
ColumnKeeper: Efficient Solutions to the ColumnDisturb Vulnerability in DRAM-based Systems
现代DRAM芯片容易受到读取干扰现象的影响，例如RowHammer和RowPress，这些现象会在访问相邻行一定次数后导致比特翻转。ColumnDisturb是一种全新的、根本不同的DRAM读取干扰现象。与RowHammer和RowPres
DejaVu: Why You Should Write to Your DRAM Rows Twice, Carefully
本研究首次实验展示了 DejaVu 现象，即之前写入 DRAM 单元的数据会影响 DRAM 对读取干扰的脆弱性。通过对三大制造商（三星、SK海力士、美光）的112个商用DDR4 DRAM芯片进行系统表征，研究者发现：与仅写入一次的基线相比，
2.5D Root of Trust: Securing the Chiplet Ecosystem
该论文针对半导体行业从单片系统级芯片（SoC）向异构、多供应商的2.5D芯片生态系统转型过程中面临的安全挑战进行了系统性综述。传统芯片级安全机制和根信任（RoT）方案无法应对来自不可信代工厂和设计方的芯片组件带来的硬件木马、IP盗用以及系统
Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification
本文针对硬件信息流（information-flow）的形式化验证中可扩展性不足的问题，提出了一种名为“受保护等价谓词”（Guarded Equivalence Predicates）的方法。在硬件安全验证中，自组合（self-compos
CapSpeaker: Injecting Voices to Microphones via Capacitors.
本文研究了一种名为CapSpeaker的新型攻击方法，能够在没有扬声器的情况下，通过电子设备内部的电容器向麦克风注入恶意语音命令。核心原理是利用电容器的逆压电效应：当施加交变电压时，电容器会因压电材料变形而产生机械振动，从而发出声音。然而，
CHERI-D: Secure and efficient inline object ID for CHERI temporal memory safety
该论文提出了一种名为 CHERI-D 的架构扩展，旨在为 CHERI（一种领先的硬件/软件系统，提供原生空间安全性和时间内存安全性的基础）提供高效的时间内存安全性。CHERI 本身缺乏对时间内存安全性的内在架构支持，现有最先进的软件解决方案
MPX: A Unified Systolic Array for Matrix and Polynomial Multiplication
本文提出 MPX，一种统一的双模式脉动阵列架构，能够同时支持矩阵乘法和多项式乘法。研究背景是全同态加密（FHE）和后量子密码（PQC）中多项式乘法是关键操作，通常通过数论变换（NTT）加速。现有方法是将 NTT 映射到现有的脉动矩阵引擎上，
AttackonCTF: Defending Hardware Security Competition Benchmarks in the Age of LLMs
该论文研究了大型语言模型（LLM）对硬件安全竞赛基准（如HackTheSilicon）有效性的威胁。作者发现，LLM并非基于真正的安全推理进行漏洞检测，而是利用了一种类似diff的语法比较策略，在基准上实现了83%的检测率，这严重破坏了公平
In-DRAM Signature Generation Using Simultaneous Multiple-Row Activation: An Experimental Study of Off-The-Shelf DRAM Chips
该论文针对商用现成（COTS）DRAM芯片，提出了一种利用同时多行激活（SiMRA）技术生成唯一、可重复且设备专属签名的方法，用于物理不可克隆函数（PUF）响应。研究团队对来自10个内存模块的112片现代DDR4 DRAM芯片进行了严格的实