Chair-for-Security-Engineering / SILVERLinks
SILVER - Statistical Independence and Leakage Verification
☆14Updated 7 months ago
Alternatives and similar repositories for SILVER
Users that are interested in SILVER are comparing it to the libraries listed below
Sorting:
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software FIESTA - Fault Injection Evaluation with Statistic…☆41Updated last week
- Implementation of Tagged Memory security policies into Rocket Core☆10Updated 9 years ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆43Updated this week
- Development Package for the Hardware API for Lightweight Cryptography☆18Updated 9 months ago
- David Canright's tiny AES S-boxes☆28Updated 11 years ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆20Updated 6 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆61Updated 2 weeks ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆24Updated last year
- Side-Channel Analysis Library☆105Updated 5 months ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆75Updated 3 years ago
- Testing processors with Random Instruction Generation☆50Updated last week
- ☆12Updated 4 years ago
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 4 years ago
- Hardware Formal Verification Tool☆85Updated this week
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆31Updated 2 years ago
- Hardware implementation of polynomial multiplication operation of CRYSTALS-KYBER PQC scheme☆40Updated 4 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 5 years ago
- ☆27Updated 9 months ago
- Side-channel analysis setup for OpenTitan☆37Updated 2 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆101Updated this week
- SCARV: a side-channel hardened RISC-V platform☆22Updated 4 years ago
- Cryptanalysis of Physically Unclonable Functions☆91Updated last year
- Instruction and files for porting Arm DesignStart to CW305.☆16Updated 2 years ago
- Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.☆13Updated last year
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- Fluid Pipelines☆11Updated 7 years ago
- The SoC used for the beta phase of Hack@DAC 2018.☆18Updated 5 years ago
- HW Design Collateral for Caliptra RoT IP☆128Updated this week
- Hardware Design of Ascon☆35Updated this week