Lessons from the Hardware Hacking Competitions: Verification Techniques, Findings, and Insights
本文系统研究了硬件黑客竞赛在复杂片上系统（SoC）安全验证中的应用。随着SoC设计复杂度不断提升，传统验证方法难以覆盖所有安全漏洞，硬件黑客竞赛成为一种实用化的安全评估平台，能够促进安全意识验证和工具开发。作者提出了一种多策略漏洞分析方法，
#hardware-security
共收录 154 条相关情报。
← 返回所有主题Time-Print: Authenticating USB Flash Drives with Novel Timing Fingerprints.
USB接口作为计算机系统普遍存在的连接方式，为主机与外设间提供高效的数据与电力传输。即便在云和远程计算流行的今天，USB在设备间数据传输中仍扮演关键角色，尤其在高安全隔离的“气隙”系统中应用广泛。然而，近年研究揭示USB并不如传统认知中安全
Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC.
该论文提出了一种名为 Voodoo 的新型硬件安全机制，其核心思路是在同一底层原语 MAGIC（一种内存内计算/逻辑操作机制）上，统一实现内存标记（Memory Tagging）、认证加密（Authenticated Encryption）
Attacks on Wireless Coexistence: Exploiting Cross-Technology Performance Features for Inter-Chip Privilege Escalation.
现代移动设备普遍集成蓝牙、Wi-Fi、LTE 等多种无线技术，各自实现于独立无线芯片中，有时采用组合芯片封装。这些芯片共享天线、频谱等资源，无线共存接口（coexistence interfaces）用于避免数据包碰撞，优化网络性能。然而，
Inducing Wireless Chargers to Voice Out for Inaudible Command Attacks.
本文研究了一种新型的无声命令注入攻击，利用了无线充电过程中产生的磁干扰。此前研究已表明，语音识别系统或语音助手可能被通过超声波、激光和电磁干扰（EMI）等不可听介质注入的恶意语音命令操控。本文则揭示，智能设备在无线充电时，其麦克风组件会因低
Cross-Layer Roots of Trust: Integrating Biometrics, PUFs, and Hardware Obfuscation
该论文是一篇关于硬件与生物特征融合信任机制的综述性研究，由Nima Karimian撰写，核心关注现代网络物理系统、物联网、可穿戴设备及边缘计算场景中日益突出的“人-设备-功能”三重信任需求。传统上，生物识别用于确认用户身份，但面临呈现攻击
Achilles: A Formal Framework of Leaking Secrets from Signature Schemes via Rowhammer.
该论文提出一个名为 Achilles 的形式化框架，用于系统评估和利用 Rowhammer 故障注入攻击从签名方案中泄露秘密。签名方案是网络安全基础设施的基础组件，虽然它们在数学上被设计为抗密码分析攻击，但易受 Rowhammer 硬件故障
Faults That Fortify: CNN Adversarial Robustness via GPU Undervolting
卷积神经网络（CNN）面临对抗攻击脆弱性和训练成本高昂的双重挑战。对抗训练虽有效但计算开销巨大，尤其在向能量受限的边缘设备迁移时更为突出。本文提出在训练过程中对 GPU 进行欠压（undervolting）处理，通过降低供电电压引入随机故障
Automatic Detection of Speculative Execution Combinations.
该论文针对现代处理器中推测执行机制的安全分析问题展开研究。现代处理器为提升性能，采用了多种推测执行机制，例如分支预测、内存依赖推测、数据值推测等，这些机制会推测性地执行不同类型的指令。攻击者可能同时利用多种推测机制，在单个瞬态执行窗口内触发
Flash [Re]Loaded: Body Bias Injection on Flash Memory.
该论文以闪存（Flash）存储设备为对象，探讨了一种名为 Body Bias Injection（体偏置注入）的硬件级攻击技术。研究背景在于，闪存被广泛用于固件存储、安全密钥保存和启动代码持久化，其物理安全性直接关系到设备整体信任根。体偏置
Branch History Injection: On the Effectiveness of Hardware Mitigations Against Cross-Privilege Spectre-v2 Attacks.
本文研究的是 Spectre-v2（分支目标注入）攻击在跨特权级场景下，现有硬件缓解措施的有效性。Spectre-v2 利用分支预测器的历史污染来诱导 victim 执行恶意分支，而现代 CPU 厂商（Intel、AMD、Arm）已部署多种
GhostTalk: Interactive Attack on Smartphone Voice System Through Power Line.
该论文提出了一种名为 GhostTalk 的新型攻击方法，攻击者通过篡改的手机充电线在物理层面入侵智能手机的语音助手系统。具体场景是：在商场中，受害者租用了一个被恶意修改过的充电宝，该充电宝内含特制的充电线，当受害者将手机连接到这个充电宝充
Characterizing the Variance Envelope: A Multi-Dimensional Analysis of Spectre Telemetry Across Architectures and Workloads
本文针对硬件侧信道攻击（如Spectre）在真实场景中的检测难题展开研究。尽管机器学习模型在受控环境下能通过硬件性能计数器（HPC）捕捉攻击足迹，但当面对系统背景噪声、多样化攻击变体以及对抗性流量节拍时，静态模型往往失效。为此，作者提出了“
GPUBreach: Privilege Escalation Attacks on GPUs Using Rowhammer.
本文研究了 NVIDIA GPU 上的 Rowhammer 攻击如何实现权限提升。此前，GPU 上的 Rowhammer 攻击仅限于在受害者数据中注入比特翻转，例如破坏机器学习模型的权重以降低准确率，无法像 CPU 攻击那样实现权限提升。作
Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions
本文研究量子密码学中的经典问题：比特承诺（Bit Commitment）在无条件安全下是不可能的，即使在量子密码学中也是如此。作者提出了一种基于混合锁定物理不可克隆函数（HLPUFs）的新协议，该函数结合了经典硬件令牌与量子通信，能够在统计
A Lightweight Fault-Detection Scheme for Barrett Modular Multiplication Using Multiple Conditional Reduction Paths
格基后量子密码（PQC）与全同态加密（FHE）中的多项式乘法是资源、时间和能量最关键的运算之一。Barrett 模乘（BMM）因其硬件友好的特性和高效的模归约能力，在 PQC（如 Kyber、Dilithium）和 FHE（如 BGV、BF
Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees
现代处理器的分支预测器利用饱和计数器来提升指令级并行性，但传统饱和计数器是确定性的，容易受到侧信道攻击：攻击者可通过操作计数器状态并观察缓存行为（如Prime+Probe）推断受害进程的分支方向。为缓解该泄漏，已有研究提出概率饱和计数器（P
MIFA: An MILP-based Framework for Improving Differential Fault Attacks
本文提出了一种基于混合整数线性规划（MILP）的差分故障攻击（DFA）改进框架，命名为MIFA。研究背景源于对DEFAULT和BAKSHEESH两种分组密码的DFA安全性分析：ASIACRYPT 2021上DEFAULT被设计为算法层面抵抗
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
本文提出了一种名为 dfence 的新型 CPU 指令，旨在以硬件-软件协同的方式高效缓解推测执行攻击（如 Spectre-PHT 和 Spectre-STL）。现有的软件缓解方案（如 Speculative Load Hardening,
Hardware Design and Security in the Era of Chiplets and LLMs
本文对半导体行业正在经历的双重变革——异构2.5D chiplet系统的普及以及将大语言模型（LLM）集成到电子设计自动化（EDA）流程中——进行了统一的安全分析。作者指出，尽管这些范式在良率、模块化、设计生产率等方面带来了前所未有的优势，