ChairImpSec/PROLEAD
GitHub: ChairImpSec/PROLEAD
PROLEAD 与 FIESTA 共同构成面向侧信道与故障注入的探测分析框架，解决实现方案安全性评估的量化难题。
Stars: 42 | Forks: 30
# FIESTA & PROLEAD
[](https://github.com/ChairImpSec/FIESTA)
PROLEAD 和 FIESTA 构建了一个用于分析实现方案针对侧信道分析和故障注入攻击安全性的多功能 C++ 框架。
## 文档
有关 PROLEAD 的所有功能和用法信息，请查阅 Wiki。
## 运行
```
# Prolead 3.1.0
nix run github:ChairImpSec/PROLEAD#prolead_31
# Prolead master branch
nix run github:ChairImpSec/PROLEAD
```
## 示例
部分精选示例可在 示例 文件夹中找到。有关示例的更多信息，请查阅 Wiki。我们即将提供更多示例。
## 联系与支持
如果您有任何问题、意见，发现应被修正的漏洞，或希望将 PROLEAD 或其部分用于您自己的研究项目，请与 Nicolai Müller（nicolai.mueller@rub.de）联系。
## 出版物
- N. Müller、A. Moradi（2022）：PROLEAD - A Probing-Based Hardware Leakage Detection Tool
- J. Zeitschner、N. Müller、A. Moradi（2023）：PROLEAD_SW - Probing-Based Software Leakage Detection for ARM Binaries
- N. Müller、A. Moradi（2024）：Robust but Relaxed Probing Model
- F. Uhle、N. Müller、A. Moradi（2025）：Fault Injection Evaluation with Statistical Analysis - How to Deal with Nearly Fabricated Large Circuits
标签：C++框架, Nix, TLS抓取, 二进制分析, 云安全运维, 云资产清单, 侧信道分析, 反取证, 可复现研究, 安全测试, 安全评估, 密码学实现, 嵌入式安全, 开源安全工具, 探针模型, 攻击性安全, 故障注入, 泄漏检测, 硬件安全, 硬件验证, 统计分析, 软件安全, 逆向工程, 逆向工程平台