Skip to content

PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software

License

Notifications You must be signed in to change notification settings

Leena8686/PROLEAD

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

94 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software

This repository contains the source code for the papers PROLEAD - A Probing-Based Hardware Leakage Detection Tool and PROLEAD_SW - Probing-Based Software Leakage Detection for ARM Binaries. For a quick start, we recommend to watch the quick start guides on our Youtube Channel

Features

PROLEAD allows to analyze the robust probing security of masked implementations provided as a Verilog netlist or ARM binary. In particular, PROLEAD supports the following features:

  • Evaluation of masked hardware designs (Verilog netlists)

    • Consideration of glitches and transitions (simultaneously)
    • Univariate and multivariate adversaries
  • Evaluation of masked software designs (ARM binaries)

    • Consideration of various micro-architectural effects (simultaneously)
      • Neighbor Leakage Effects
      • Bit-wise Interaction Leakages
      • Memory Overwrite Effects
      • Memory Remnant Effecs
      • Pipeline Register Overwrites
      • Pipeline Forwarding Effects
    • CPU-independent leakage detection

Documentation

All information about the features and use of PROLEAD can be found in the Wiki.

Examples

Some selected examples can be found in the examples folder. More information regarding the examples can be found in the Wiki. We will provide more examples soon.

Contact and Support

Please contact Nicolai Müller ([email protected]) 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

About

PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 98.0%
  • Other 2.0%