Chair-for-Security-Engineering / SILVERLinks
SILVER - Statistical Independence and Leakage Verification
☆14Updated 2 weeks ago
Alternatives and similar repositories for SILVER
Users that are interested in SILVER are comparing it to the libraries listed below
Sorting:
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 9 months ago
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- Development Package for the Hardware API for Lightweight Cryptography☆16Updated 2 months ago
- Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.☆13Updated 6 months ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆40Updated last week
- David Canright's tiny AES S-boxes☆24Updated 10 years ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆28Updated this week
- ☆23Updated 5 years ago
- Side-Channel Analysis Library☆92Updated this week
- Hardware implementation of polynomial multiplication operation of CRYSTALS-KYBER PQC scheme☆36Updated 3 years ago
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 3 years ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆56Updated 2 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Updated 8 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆16Updated 4 years ago
- Masked Hardware AES with HPC☆13Updated 8 months ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆26Updated last year
- HW Design Collateral for Caliptra RoT IP☆96Updated this week
- ☆50Updated last year
- Saber and NTRU on M4 and AVX2☆17Updated 3 years ago
- ☆15Updated 2 weeks ago
- Hardware Formal Verification Tool☆55Updated this week
- Hardware Design of Ascon☆23Updated this week
- Masked implementations of PQ schemes for the Cortex-M4.☆9Updated 5 months ago
- ☆12Updated last year
- Acceleration of TFHE-based Homomorphic NAND Gate on FPGA☆17Updated 3 years ago
- ☆19Updated 4 years ago
- Side-channel analysis setup for OpenTitan☆34Updated 3 weeks ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆12Updated 3 weeks ago