Chair-for-Security-Engineering / SILVER
SILVER - Statistical Independence and Leakage Verification
☆14Updated 2 years ago
Alternatives and similar repositories for SILVER:
Users that are interested in SILVER are comparing it to the libraries listed below
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated 6 months ago
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆11Updated this week
- Development Package for the Hardware API for Lightweight Cryptography☆16Updated 3 weeks ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Hardware implementation of polynomial multiplication operation of CRYSTALS-KYBER PQC scheme☆33Updated 3 years ago
- Side-Channel Analysis Library☆84Updated last week
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆26Updated last year
- Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.☆13Updated 4 months ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆38Updated 3 weeks ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆52Updated 2 years ago
- ☆15Updated 4 months ago
- ☆18Updated 4 years ago
- Verilog Hardware Design of Ascon☆22Updated last week
- ☆21Updated 9 months ago
- Hardware implementation of Saber☆8Updated 4 years ago
- David Canright's tiny AES S-boxes☆23Updated 10 years ago
- ☆10Updated last year
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆21Updated last week
- Masked implementations of PQ schemes for the Cortex-M4.☆9Updated 3 months ago
- ☆22Updated 5 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Updated 8 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
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆9Updated 3 years ago
- NEON implementation of NIST lattice-based PQC finalists☆19Updated 3 years ago
- Saber and NTRU on M4 and AVX2☆17Updated 3 years ago
- This is a project in which side-channel attacks are researched and developed.☆45Updated 5 years ago
- ☆11Updated last year
- Masked Hardware AES with HPC☆12Updated 6 months ago
- Side-channel analysis setup for OpenTitan☆31Updated last month