Welcome to the PROLEAD Wiki!

This site provides comprehensive documentation on how to use PROLEAD. For foundational information about PROLEAD, please refer to our published papers.

On this Page

• Installation

• Quickstart

  • Hardware Evaluation
    • Preparing a Masked Hardware Design
    • Preparing a Cell Library
    • Preparing a Configuration File
      • Specifying Simulation Settings
      • Specifying Evaluation Settings
    • Running the Hardware Evaluation
  • Software Evaluation
    • Implement a Masked Software
      • Using PROLEAD_SW's Internal Randomness Source
      • Declaring Simulation Input Variables
      • Defining the Cipher Function
      • Preparing a Linker Script
    • Compilation
      • Internal Compilation
      • External Compilation
    • Preparing a Configuration File
      • Specifying Simulation Settings
      • Specifying Compilation Settings
      • Specifying Evaluation Settings
    • Running the Software Evaluation
  • Interpreting the Results
    • Understanding the Evaluation Overview

• Advanced User Guides

  • Writing your own Cell Library

• Trouble Shooting

  • The ARM GCC Toolchain Throws Linker Errors
  • Wrong Linker Script
  • Python.h not found

• Documentation

  • Configuration Reference