Where Quantum Fourier Sampling Stops Short: A Three-Gate Audit Protocol for Delay-PUF Security Models
该论文针对“量子傅里叶采样能否用于审计基于延迟的物理不可克隆函数(PUF)的谱可学习性”这一命题，提出并验证了一套名为“三闸门量子审计协议(Three-Gate Quantum Audit Protocol)”的可复现评估流程，用以严格区分
#hardware-security
共收录 154 条相关情报。
← 返回所有主题The Achilles' Heel of Partial Reconfiguration: Optical Side-Channel Leakage on the 7-Series ICAP
该论文关注 FPGA 比特流保护中的物理侧信道风险。背景是主流 FPGA 厂商已引入比特流加密以保护敏感配置数据，但在使用最广泛的 FPGA 系列中，多种针对硬连线、不可修补保护方案的攻击可绕过甚至完全破解这些保护，因此业界更期待可采用可修
Efficient TCitH-Based Alternatives to SLH-DSA: Cross-Layer ASIC Design of Mirath
该论文针对后量子签名方案在资源受限嵌入式平台上的实现效率问题展开研究。背景是：为应对量子计算对现有公钥密码的威胁，NIST 已标准化三类后量子签名方案 ML-DSA、FN-DSA（均为格基）以及 SLH-DSA（基于哈希假设）。为保持密码敏
TEE Anchor: Cross-TEE Organizational Endorsement for Mitigating TEE Physical Attacks
2025 年，针对可信执行环境（TEE）的物理访问类攻击被陆续披露（如 TEE.fail、Battering RAM），此类攻击需要攻击者能够物理接触目标机器，因而对当前 TEE 部署构成严重威胁。论文的核心观察是：目标机器的物理防护越严格
Application Agnostic EM Side-Channel Emanations of the FPGA Clock Distribution Network
该论文研究 FPGA（现场可编程门阵列）时钟分配网络的电磁（EM）侧信道泄漏问题，重点关注“自适应硬件”场景下与传统固定硬件假设的差异。背景是：电磁侧信道已被广泛用于非侵入式攻击与分析，用以从部署系统中提取密钥等敏感信息，但绝大多数工作针对
SADRA: Sound Capability-based Access Control System for Resource-Disaggregated Architectures
该论文研究的是资源解聚（resource disaggregation）架构下的访问控制问题。在这种架构中，内存、加速器等资源被从计算节点上物理分离，并通过网络被远程访问，从而提升资源利用率与共享效率；但代价是本地内核被移出资源访问路径，资
SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
本论文是一篇针对硬件模糊测试(hardware fuzzing)的系统化知识综述(SoK)。作者指出,硬件模糊测试虽已成为安全验证研究中的活跃方向,但其工业界落地仍处于早期阶段,研究结论与实际部署之间存在明显断层。为厘清这一差距,论文系统考
SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification
该论文聚焦于硬件形式化信息流验证（Information-Flow Verification, IFV）在真实 RTL 上难以扩展的问题。IFV 能为「无秘密依赖的时序与控制行为」提供强保证，但在实际设计中，证明往往因求解器规模爆炸而超时。
POZZER: A Power Side Channel-guided Fuzzer for Black-Box Embedded Systems
该论文针对嵌入式系统固件漏洞挖掘中的黑盒难题提出了 POZZER——一种以功耗侧信道为反馈的模糊测试器。传统覆盖引导的固件模糊测试通常依赖固件插桩、硬件调试接口或固件重宿主(rehosting)来获取执行反馈, 这些手段都以能够访问固件源码
TERMon: Detecting Persistent Behavioral Threats in Edge AI via Hardware-Native Ternary Runtime Monitor
该论文针对边缘 AI 加速器在安全攸关场景（如控制物理执行器、访问控制决策、告警触发）中的运行时可靠性问题展开研究。作者指出，这类部署中模型一旦发生权重损坏、分布漂移或遭遇对抗输入，往往仍会输出格式正确、置信度很高的预测结果，导致故障在运行
Et Tu, MacBook? Unprivileged Keystroke Inference and Context Profiling via the Built-in IMU Side Channel
该论文研究了 Apple MacBook 内置惯性测量单元（IMU）所引入的一条此前未被系统探索的侧信道。近年 MacBook 为感知设备姿态与运动，在一体化机身（unibody chassis）内集成了 IMU；但该传感器不仅采集预期的设
Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
该论文研究 AI 生成 RTL 验证计划在硬件安全场景下的可信度问题。作者指出:大模型生成的验证计划即使通过了服务商(provider)的响应 schema 校验,也可能在进入可信执行环节时失败,即「schema 合规」不等于「执行有效」。
Analog Pin Directionality as an Exfiltration Attack Surface in Mixed-Signal ICs
该论文聚焦混合信号（AMS）芯片中一个长期被默认、却从未被当作安全属性显式验证的问题：模拟引脚的方向性。传统上，标称「仅输入」的模拟引脚被假定只能采集片外信号，其方向性被视为功能属性而非安全属性，因此既不进入安全验证流程，也不被测试用例覆盖
s-MDM: Generative Virtualization of Multi-Device Hardware Variations for Portable DL-SCA
该论文（海报）针对深度学习侧信道分析（DL-SCA）中的一个关键工程痛点：当把在一个设备上训练好的模型迁移到未见过的硬件上时，性能往往因印刷电路板（PCB）走线差异、硅工艺偏差以及测量噪声分布变化而急剧下降。作者提出合成多设备模型（s-MD
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
基于能力（capability）的架构如 CHERI 为软件组件的架构级隔离提供了强支持：能力指针同时携带边界与权限，使硬件能够阻止越权访问。然而攻击者还可利用微架构侧信道窃取机密，因此敏感代码通常需以常量时间（constant-time）
GPUThor: Amplifying Rowhammer Attacks via Non-Uniform Patterns to Exploit ECC-Protected GPUs
该论文研究 GPU 上 GDDR 显存的 Rowhammer 攻击为何长期比 CPU 侧弱得多，并提出 GPUThor 显著放大其实际危害。背景问题是：Rowhammer 通过高频反复访问特定 DRAM 行，干扰相邻行电容，诱发比特翻转，从
CHERI-D Reincarnate: efficient multicore CHERI temporal memory safety through allocation reincarnation (draft version)
本文提出 CHERI-D Reincarnate（简称 Reinc），一种面向 CHERI 能力架构的时序内存安全（temporal memory safety）硬件扩展，目标是以可扩展、低开销的方式缓解释放后使用（use-after-fr
Chypothermia: Clock Freezing for Static Side-channel Attacks
该论文关注静态侧信道攻击（static side-channel attack）这一逐渐升温的芯片安全威胁。此类攻击的核心思路是让芯片时钟停摆，使电路在保持秘密数据驻留于寄存器/存储器中的同时进入可被观测或分析的状态，从而绕过依赖动态执行流
AutoTrans: AI-Assisted Automatic Translation of Security Assertions for RISC-V Processors
该论文聚焦 RISC-V 处理器硬件安全验证中的一大效率瓶颈：把一组已在某个处理器目标上通过验证的安全断言（security assertions）复用到另一个 RISC-V 核上。这一过程目前主要依靠人工完成，单条断言的翻译往往要耗费数小
HermiCache: Enclave-Aware Cache Replacement for Trusted Execution Environments
背景与问题: 可信执行环境(TEE, 如 Intel SGX、RISC-V Keystone 等)能把 enclave 的内存与执行上下文与不可信软件隔离, 但缓存等微架构资源在 enclave 与非可信上下文之间仍然共享, 因此攻击者仍可