Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
本文提出 Granite，一种用于对 RTL 级处理器设计进行模块化形式验证的方法论，旨在同时验证功能正确性和非泄漏性（nonleakage）。基于 ISA 泄漏契约，Granite 证明了带有推测执行、精确中断和 I/O 的流水线 RIS
#side-channel
共收录 186 条相关情报。
← 返回所有主题HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels.
该论文揭示了一种针对可信执行环境（TEE）保护下的深度神经网络（DNN）模型权重的新型攻击方法——HyperTheft。TEE 通过加密将 DNN 视为完全黑盒来抵御模型权重泄露及其后续的白盒攻击，但论文发现 TEE 的密文侧信道在 DNN
From Profiling to Parameterization: Physics-Guided Acoustic Eavesdropping via Smartphone Accelerometers
本文提出 LEAKFORGE，一个设备无关的框架，将跨设备加速度计窃听问题转化为物理引导的数据生成问题。作者指出，设备相关的泄漏并非任意，其主导变化局限于音频到加速度计传递函数的一个受限族。LEAKFORGE 通过采样该传递函数族，从普通语
Systematic Analysis of Randomization-based Protected Cache Architectures.
本文针对基于随机化的安全缓存架构（如CEASER-S和SCATTERCACHE）进行了系统性安全分析。这些设计旨在通过随机化内存地址到缓存集的映射来缓解侧信道攻击，但其实际安全性仍需深入评估。作者首先将现有的随机化安全缓存抽象为一个通用缓存
Oreo: Protecting ASLR Against Microarchitectural Attacks.
该论文提出一种名为Oreo的软硬件协同设计方法，旨在加强地址空间布局随机化（ASLR）对抗微架构侧信道攻击的能力。ASLR是目前广泛部署的内存破坏防御机制，通过随机化进程的虚拟地址来防止攻击者获知程序内容在内存中的位置。然而，微架构侧信道攻
I know What You Sync: Covert and Side Channel Attacks on File Systems via syncfs.
该论文揭示了操作系统文件系统实现中的新型侧信道和隐蔽信道攻击，突破了进程、容器等隔离机制。核心发现是：现代操作系统在执行任何同步操作（如syncfs）时，会刷新所有I/O缓冲区，即使这些缓冲区属于不同的隔离域。攻击者通过测量syncfs调用
PATCH-FFT: Unmasking Dormant Hardware Trojans with Patch-Based Frequency-Domain Transformers
该论文提出了一种名为PATCH-FFT的基于补丁的Transformer架构，用于通过频域分析功率迹线检测休眠态的硬件木马。硬件木马（HT）是恶意实体嵌入集成电路中的恶意电路，通常通过功率侧信道隐秘泄露敏感信息，并在触发条件激活前保持休眠状
SoK: So, You Think You Know All About Secure Randomized Caches?
本论文是一篇系统化知识综述（SoK），旨在全面审视安全随机化缓存（Secure Randomized Caches）领域的研究现状。随机化缓存是一种旨在抵御基于缓存的侧信道攻击（如Flush+Reload、Prime+Probe）的硬件或软
Transforming Keystroke Noise to Text: Self-Supervised Acoustic Eavesdropping Attacks on Keyboards
该论文提出了一种自监督的声学窃听攻击方法，能够仅从键盘敲击声重建出用户输入的文本内容，而无需针对目标设备收集标注数据。传统声学侧信道攻击通常需要大量的标注数据或特定的设备校准，这限制了其实际威胁性。本文方法通过结合无监督声学聚类、基于Tra
Leaky Language Models: Stealing Architecture and Inference Optimizations via Per-Token Timing
该论文提出了一种名为 LeakyLMs 的攻击方法，通过分析语言模型生成每个 token 的耗时（per-token timing），从远程 API 接口中窃取模型架构和推理优化部署细节，无需直接访问模型内部结构。攻击分为两部分：第一部分针
Automated Side Channel Analysis of Media Software with Manifold Learning.
该论文研究了针对媒体软件的自动化侧信道分析（SCA）方法，旨在从侧信道迹线中重建被处理的机密媒体输入（如图像、音频、文本）。作者将重建问题视为跨模态流形学习任务，利用自编码器框架学习媒体输入与侧信道观测（如缓存银行、缓存行、页表及Prime
DNN Latency Sequencing: Extracting DNN Architectures from Intel SGX Enclaves with Single-Stepping Attacks.
该论文研究了在Intel SGX（软件保护扩展）飞地中执行深度神经网络（DNN）时的架构泄露问题。作者提出了一种基于单步执行的新型侧信道攻击——DNN延迟序列攻击（DNN Latency Sequencing），通过精确测量DNN层执行的时
Exploiting Load/Store Leakage of Sparse Vectors for Key Recovery in HQC
本文针对 NIST 标准化候选算法 Hamming Quasi-Cyclic (HQC) 密钥封装机制，提出了一种侧信道攻击方法。HQC 是一种基于编码的密钥封装机制，其安全性依赖于稀疏秘密向量的使用。研究者分析了参考实现在 Cortex-
Rate-Distortion Function for Encrypted Traffic Side-Channel Defense
该论文针对加密流量侧信道防御中的参数选择问题，提出了一种基于率失真理论的可证明、可计算的理论基线。传统方法依赖经验调优，缺乏对“在给定服务质量（QoS）成本预算D下，持续观测下泄漏率能降低到多低”这一根本问题的理论回答。论文将语义标签序列X
Hiding My Real Self! Protecting Intellectual Property in Additive Manufacturing Systems Against Optical Side-Channel Attacks.
本论文提出了一种针对增材制造（3D打印）系统的光学侧信道攻击方法，旨在窃取打印过程中的知识产权。作者通过分析3D打印机的视频记录，利用深度神经网络逐帧估计打印头的坐标轨迹。实验表明，该方法能够成功恢复任意打印过程的路径信息。通过数据增强技术
Isolation Failure From Shared Storage: Characterizing and Exploiting Page-Cache SCA Leakage Across Containers and VMs
该论文研究现代云平台中容器和虚拟机（VM）之间通过共享页面缓存（page cache）产生的微架构时序侧信道泄漏问题。云平台为提升性能，通常让租户共享主机硬件资源，同时通过软件隔离（如容器、gVisor、Kata Containers、QE
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities.
该论文展示了一种名为Rain的攻击方法，利用已公布的旧漏洞（L1TF，2018年发现）与推测性越界加载组合，在公共云平台上实现跨虚拟机数据泄露。作者指出，云服务商通常采用孤立补丁方式缓解漏洞，而未消除根本原因，导致组合攻击仍可能奏效。实验在
TDXRay: Microarchitectural Side-Channel Analysis of Intel TDX for Real-World Workloads.
该论文针对英特尔TDX（Trust Domain Extensions）这一基于虚拟机的机密计算环境，系统研究了其微架构侧信道攻击面。TDX旨在保护租户代码和数据免受特权云操作系统的侵害，但往往将微架构侧信道排除在威胁模型之外。作者发现了四
AEX-NStep: Probabilistic Interrupt Counting Attacks on Intel SGX.
本文提出了一种名为AEX-NStep的新型侧信道攻击，针对Intel SGX安全飞地。该攻击通过统计中断事件的发生次数，以概率方式推断飞地内部执行的敏感信息。具体技术细节和实验评估因未提供摘要而无法详述。该研究属于对SGX安全性的持续探索，
VMSCAPE: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments.
该论文研究了云计算环境中分支预测器（Branch Predictor）隔离不完整所带来的安全风险。分支预测器是现代处理器中用于提高指令流水线效率的关键微架构组件，但在多租户云环境下，不同虚拟机（VM）可能共享物理CPU核心上的分支预测器硬件