ChairImpSec / PROLEADLinks
PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software
☆40Updated this week
Alternatives and similar repositories for PROLEAD
Users that are interested in PROLEAD are comparing it to the libraries listed below
Sorting:
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 8 months ago
- Side-channel analysis setup for OpenTitan☆32Updated last month
- SILVER - Statistical Independence and Leakage Verification☆14Updated 2 years ago
- Side-Channel Analysis Library☆90Updated 3 weeks ago
- NIST LWC Hardware Design of Ascon with Protection against Power Side-Channel Attacks☆17Updated 2 years ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆26Updated last year
- ☆23Updated 5 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- Code repository for Coppelia tool☆23Updated 4 years ago
- HW Design Collateral for Caliptra RoT IP☆93Updated this week
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆53Updated last month
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- ☆12Updated 3 years ago
- ☆48Updated last year
- Masked Hardware AES with HPC☆13Updated 7 months ago
- An open-source deterministic fault attack simulator prototype☆58Updated 4 years ago
- Development Package for the Hardware API for Lightweight Cryptography☆16Updated 2 months ago
- Fuzzing for SpinalHDL☆16Updated 2 years ago
- Technology-agnostic Physical Unclonable Function (PUF) hardware module for any FPGA.☆131Updated 2 years ago
- Hardware designs for fault detection☆17Updated 5 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆67Updated 2 months ago
- Verilog Hardware Design of Ascon☆22Updated last week
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆28Updated this week
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 6 years ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆18Updated 5 years ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆16Updated 4 years ago
- A Modular Open-Source Hardware Fuzzing Framework☆33Updated 3 years ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆54Updated 2 years ago
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆42Updated 2 years ago
- FPGA implementation of a physical unclonable function for authentication☆32Updated 8 years ago