vmarribas / VerMFi
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
☆18Updated 5 years ago
Alternatives and similar repositories for VerMFi:
Users that are interested in VerMFi are comparing it to the libraries listed below
- Side-channel analysis setup for OpenTitan☆29Updated 2 weeks ago
- ☆21Updated 4 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated 4 months ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆45Updated 6 years ago
- Side-Channel Analysis Library☆78Updated last week
- ☆46Updated 8 months ago
- This is a project in which side-channel attacks are researched and developed.☆39Updated 4 years ago
- ☆15Updated 2 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆36Updated last month
- SILVER - Statistical Independence and Leakage Verification☆13Updated 2 years ago
- Tutorials and examples on how to use Jlsca, the high-performance side channel analysis toolkit written in Julia☆48Updated 4 years ago
- Verilog Hardware Design of Ascon v1.2☆20Updated last month
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆14Updated 4 years ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆25Updated last year
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆49Updated 2 years ago
- ☆14Updated last month
- VexRiscv reference platforms for the pqriscv project☆15Updated 10 months ago
- Deep Learning-based Framework for Side-Channel Analysis☆33Updated 2 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆34Updated 3 years ago
- A port of the RIPE suite to RISC-V.☆28Updated 6 years ago
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆9Updated 3 years ago
- FPGA implementation of a physical unclonable function for authentication☆33Updated 7 years ago
- Side channel attack (SCA) of AES with Differential Power Analysis (DPA)☆61Updated 8 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆34Updated 3 years ago
- DL-LA: Deep Learning Leakage Assessment. Source Code and Traces.☆12Updated last year
- A curated list of awesome side-channel attack resources☆74Updated 10 months ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆21Updated 8 months ago
- High-order countermeasures for AES and DES☆25Updated 5 months ago
- A list of VHDL codes implementing cryptographic algorithms☆25Updated 3 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆56Updated 5 months ago