constant-time-testing - 测试加密代码中的时序侧信道
通过静态、动态、符号执行、形式化和统计分析检测加密实现中的时序侧信道与时序漏洞。
标签
更新于: 2026-10-12该技能可以做什么
- 识别秘密数据流
- 检测时序差异
- 跟踪秘密传播
- 定位泄漏位置
- 分析常数时间违规
- 测试已编译实现
输入
- 加密源代码
- 已编译的加密二进制文件
- 秘密和公开测试输入
- 时序测量数据
- 目标运行环境
输出
- 时序分析结果
- 检测到的时序漏洞
- 泄漏位置
- 秘密传播轨迹
- 统计测试结果
要求
- 加密实现
- 时序分析工具
- 可执行测试目标
- 执行测量访问权限
