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
☆18Updated 5 years ago
Alternatives and similar repositories for VerMFi
Users that are interested in VerMFi are comparing it to the libraries listed below
Sorting:
- ☆23Updated 5 years ago
- Side-channel analysis setup for OpenTitan☆34Updated 3 weeks ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆40Updated this week
- Side-Channel Analysis Library☆92Updated this week
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 8 months ago
- ☆50Updated last year
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 6 years ago
- Hardware Design of Ascon☆23Updated this week
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 3 years ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆28Updated this week
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆68Updated 3 months ago
- An open-source deterministic fault attack simulator prototype☆58Updated 4 years ago
- This is a project in which side-channel attacks are researched and developed.☆46Updated 5 years ago
- Side channel attack (SCA) of AES with Differential Power Analysis (DPA)☆63Updated 9 years ago
- Deep Learning-based Framework for Side-Channel Analysis☆34Updated 3 years ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆16Updated 4 years ago
- A curated list of awesome side-channel attack resources☆82Updated last year
- Cryptanalysis of Physically Unclonable Functions☆87Updated 11 months ago
- SILVER - Statistical Independence and Leakage Verification☆14Updated 2 weeks ago
- Tutorials and examples on how to use Jlsca, the high-performance side channel analysis toolkit written in Julia☆50Updated 5 years ago
- Make your first side-channel attack on public datasets with eShard. This is a mirror of scared Gitlab repository. All contributions and m…☆95Updated this week
- ☆15Updated 2 weeks ago
- FPGA implementation of a physical unclonable function for authentication☆33Updated 8 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆24Updated last month
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆56Updated 2 years ago
- Hardware designs for fault detection☆17Updated 5 years ago
- NIST LWC Hardware Design of Ascon with Protection against Power Side-Channel Attacks☆17Updated 2 years ago
- Code repository for Coppelia tool☆23Updated 4 years ago
- ☆12Updated 3 years ago
- Defense/Attack PUF Library (DA PUF Library)☆50Updated 5 years ago