#constant-time

共收录 2 条相关安全情报。

← 返回所有主题
INFO
PAPER 2026-06-11

SoK: The Constant Time Model

推荐 3.6
Conf: 50%
👥 作者: Billy Bob Brumley

该论文系统化了针对密码学实现中时序攻击的防御手段——恒定时间(Constant Time)编程模型。尽管恒定时间编程是抵御时序攻击的主要防线,但学术界和工业界对“恒定时间”的定义和模型理解存在差异。本文首先回顾并整理了恒定时间模型的历史演化,识别出模型所保护的安全属性与密码规范所假设的威胁模型之间存在长期被忽视的差距。作者进一步提炼了一套攻击方法论,用于发现源自密码原语边界之外(例如上层应用或密钥加载流程)的时序漏洞。利用该方法,作者定位了一个与私钥加载过程相关的规范级(specification-level)漏洞。该漏洞存在于OpenSSL和BoringSSL两个流行密码库中,并成功在实验中确认了信息泄露。一个反直觉的发现是:尽管BoringSSL采用了更严格的威胁模型,但其单次观测产生的信号强度反而比OpenSSL高出数个数量级。研究贡献包括:1) 对恒定时间模型进行系统化分类与演化分析;2) 提出可用于发现跨界时序漏洞的通用攻击方法论;3) 发现并验证了OpenSSL和BoringSSL中此前未知的时序泄露点。该论文适合密码库开发者、侧信道安全研究人员以及所有关注密码学实现安全性的工程师阅读。

💡 推荐理由: 该工作揭示了常量时间模型的理论假设与实际实现之间的鸿沟,并展示了一种系统化的方法来发现此前被忽视的时序漏洞,对提升密码库安全性具有重要参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: Andrii Tyvodar, Andreas Rechberger, Dirmanto Jap, Shivam Bhasin, Bernhard Jungk, Jakub Breier, Xiaolu Hou

本文针对嵌入式微控制器(如ARM Cortex-M4)上神经网络推理过程中的激活函数(ReLU, sigmoid, tanh, GELU, Swish)存在的时序侧信道泄露问题,提出了一种常量时间(constant-time)实现方法。该方法通过结合无分支选择、基于Padé近似的固定成本计算、虚拟算术操作以及循环对齐等技巧,确保所有激活函数在不同输入下消耗相同的时钟周期数,从而消除时序侧信道。作者首先评估了一种基于去同步化的防御措施,并证明其仍易受模板化时序攻击,进而提出防御方案。实验结果表明,保护后的实现在三函数和五函数场景下分别实现恒定的88和108周期计数,同时数值误差分析显示近似非线性函数保持高精度。该研究为嵌入式推理中构建抗侧信道的激活函数提供了实用基础,适用于需要安全部署深度学习模型的嵌入式系统开发者及侧信道防御研究人员。

💡 推荐理由: 首次提出针对嵌入式激活函数的系统化常量时间实现方法,填补了该领域空白,为物联网设备中的神经网络推理提供强时序侧信道防护。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)