FIESTA & PROLEAD

PROLEAD and FIESTA build a versatile C++ framework for analyzing the security of implementations against side-channel analysis and fault injection attacks.

Documentation

All information about the features and use of PROLEAD can be found in the <a href="https://github.com/ChairImpSec/PROLEAD/wiki">Wiki</a>.

Running

# Prolead 3.1.0
nix run github:ChairImpSec/PROLEAD#prolead_31

# Prolead master branch
nix run github:ChairImpSec/PROLEAD

[!NOTE] To run the default config and the provided examples, it is required to clone prolead and enter the cloned directory before executing the aforementioned commands.

Examples

Some selected examples can be found in the <a href="https://github.com/ChairImpSec/PROLEAD/tree/main/examples">examples</a> folder. More information regarding the examples can be found in the <a href="https://github.com/ChairImpSec/PROLEAD/wiki/Examples">Wiki</a>. We will provide more examples soon.

Contact and Support

Please contact <a href="https://github.com/nicolaimueller">Nicolai Müller</a> (nicolai.mueller@rub.de) if you have any questions, comments, if you found a bug that should be corrected, or if you want to reuse PROLEAD or parts of it for your own research projects.

Publications

<a href="https://github.com/nicolaimueller">N. Müller</a>, <a href="https://github.com/amircrypto001">A. Moradi</a> (2022): <a href="https://tches.iacr.org/index.php/TCHES/article/view/9822">PROLEAD - A Probing-Based Hardware Leakage Detection Tool</a>
<a href="https://github.com/JannikZeitschner">J. Zeitschner</a>, <a href="https://github.com/nicolaimueller">N. Müller</a>, <a href="https://github.com/amircrypto001">A. Moradi</a> (2023): <a href="https://tches.iacr.org/index.php/TCHES/article/view/10968">PROLEAD_SW - Probing-Based Software Leakage Detection for ARM Binaries</a>
<a href="https://github.com/nicolaimueller">N. Müller</a>, <a href="https://github.com/amircrypto001">A. Moradi</a> (2024): <a href="https://eprint.iacr.org/2024/1277.pdf">Robust but Relaxed Probing Model</a>
<a href="https://github.com/FelixUhle">F. Uhle</a>, <a href="https://github.com/nicolaimueller">N. Müller</a>, <a href="https://github.com/amircrypto001">A. Moradi</a> (2025): <a href="https://eprint.iacr.org/2025/1287.pdf">Fault Injection Evaluation with Statistical Analysis - How to Deal with Nearly Fabricated Large Circuits</a>

PROLEAD

Install / Use

README