Chair-for-Security-Engineering / SILVER
SILVER - Statistical Independence and Leakage Verification
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for SILVER
- Development Package for the Hardware API for Lightweight Cryptography☆15Updated last year
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated last month
- VexRiscv reference platforms for the pqriscv project☆15Updated 8 months ago
- Verilog Hardware Design of Ascon v1.2☆19Updated last week
- Implementation of Tagged Memory security policies into Rocket Core☆10Updated 8 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- ☆10Updated last year
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆34Updated 3 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆32Updated this week
- ☆16Updated 3 years ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆9Updated 3 weeks ago
- Side-Channel Analysis Library☆74Updated 2 months ago
- Masked Hardware AES with HPC☆10Updated last month
- ☆12Updated 2 months ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆14Updated 3 years ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆24Updated last year
- Testing processors with Random Instruction Generation☆29Updated last month
- Hardware implementation of Saber☆7Updated 4 years ago
- A list of VHDL codes implementing cryptographic algorithms☆25Updated 2 years ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆43Updated last year
- ☆21Updated 4 years ago
- David Canright's tiny AES S-boxes☆21Updated 10 years ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆17Updated 5 years ago
- ☆16Updated 4 months ago
- Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.☆12Updated this week
- Side-channel analysis setup for OpenTitan☆28Updated 2 months ago
- HW Design Collateral for Caliptra RoT IP☆75Updated this week
- Integer Multiplier Generator for Verilog☆17Updated last year
- Code repository for Coppelia tool☆20Updated 4 years ago
- ☆45Updated 6 months ago