SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
基于能力（capability）的架构如 CHERI 为软件组件的架构级隔离提供了强支持：能力指针同时携带边界与权限，使硬件能够阻止越权访问。然而攻击者还可利用微架构侧信道窃取机密，因此敏感代码通常需以常量时间（constant-time）
#constant-time
共收录 7 条相关情报。
← 返回所有主题SoK: The Constant Time Model.
该论文是一篇系统化知识（SoK）研究，聚焦于密码学实现中的常数时间编程模式——这是抵御计时攻击的主要防御手段。然而，学术界和工业界对“常数时间”的定义并不统一，导致模型保护范围与规格假设之间长期存在脱节。论文系统梳理了常数时间模型的演变，识
Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.
该论文研究推测执行攻击对常数时间编程（constant-time programming）安全性的破坏。常数时间编程是密码学等安全敏感软件中防止微架构侧信道攻击的标准技术，但推测执行攻击（如 Spectre）会使其失效。因此，常数时间代码还
Constant-time decoding of Gabidulin codes and their generalizations with application to RQC
本文首次提出了增广Gabidulin（AG）码的恒定时间解码算法。Gabidulin码是秩度量下的Reed-Solomon码类比，被用于基于秩的密码系统如RQC和Loidreau中。然而，此前缺乏恒定时间实现，这对于实际开发防侧信道攻击的密
Solver-Aided Constant-Time Hardware Verification.
本文提出 Xenon，一种求解器辅助的交互式形式化验证方法，用于证明 Verilog 硬件设计在常时执行。常时执行是抵御基于时序的侧信道攻击的关键属性。Xenon 通过引入常时反例的新概念，自动合成最小化秘密假设集合，并在交互式验证循环中定
SoK: The Constant Time Model
该论文系统化了针对密码学实现中时序攻击的防御手段——恒定时间（Constant Time）编程模型。尽管恒定时间编程是抵御时序攻击的主要防线，但学术界和工业界对“恒定时间”的定义和模型理解存在差异。本文首先回顾并整理了恒定时间模型的历史演化
A Constant-Time Implementation Methodology for Activation Functions on Microcontrollers
本文针对嵌入式微控制器（如ARM Cortex-M4）上神经网络推理过程中的激活函数（ReLU, sigmoid, tanh, GELU, Swish）存在的时序侧信道泄露问题，提出了一种常量时间（constant-time）实现方法。该方