vmarribas / VerMFiLinks
VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against Side-Channel attacks and Fault Attacks
☆20Updated 6 years ago
Alternatives and similar repositories for VerMFi
Users that are interested in VerMFi are comparing it to the libraries listed below
Sorting:
- Side-channel analysis setup for OpenTitan☆37Updated last month
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆23Updated last year
- Cryptanalysis of Physically Unclonable Functions☆91Updated last year
- FPGA implementation of a physical unclonable function for authentication☆33Updated 8 years ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 7 years ago
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 4 years ago
- Side-Channel Analysis Library☆104Updated 3 months ago
- Hardware Design of Ascon☆29Updated 2 months ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆40Updated this week
- SCARV: a side-channel hardened RISC-V platform☆22Updated 4 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software FIESTA - Fault Injection Evaluation with Statistic…☆41Updated 2 weeks ago
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- ☆52Updated last year
- SILVER - Statistical Independence and Leakage Verification☆14Updated 6 months ago
- HW Design Collateral for Caliptra RoT IP☆120Updated last week
- Hardware implementation of polynomial multiplication operation of CRYSTALS-KYBER PQC scheme☆37Updated 3 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆59Updated 2 weeks ago
- This is a project in which side-channel attacks are researched and developed.☆51Updated 5 years ago
- Defense/Attack PUF Library (DA PUF Library)☆54Updated 5 years ago
- Code repository for Coppelia tool☆23Updated 5 years ago
- ☆23Updated 5 years ago
- Framework based on Partial Reconfiguration for chip characterization utilizing ring-oscillator PUFs☆12Updated 5 years ago
- Instruction and files for porting Arm DesignStart to CW305.☆15Updated 2 years ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆22Updated last year
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆71Updated 3 years ago
- ☆71Updated 3 weeks ago
- Extracts specified data from a VCD file into CSV form☆10Updated 5 years ago
- A port of the RIPE suite to RISC-V.☆29Updated 7 years ago
- Proof of concepts for speculative attacks using the BOOM core (https://github.com/riscv-boom/riscv-boom)☆67Updated 6 years ago
- IOPMP IP☆21Updated 5 months ago