Chair-for-Security-Engineering / VERICALinks
☆15Updated 6 months ago
Alternatives and similar repositories for VERICA
Users that are interested in VERICA are comparing it to the libraries listed below
Sorting:
- ☆49Updated last year
- Side-Channel Analysis Library☆90Updated 3 weeks ago
- ☆23Updated 5 years ago
- SILVER - Statistical Independence and Leakage Verification☆14Updated 2 years ago
- Masked implementations of PQ schemes for the Cortex-M4.☆9Updated 4 months ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 8 months ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆18Updated 5 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Masked Hardware AES with HPC☆13Updated 7 months ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆54Updated 2 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆40Updated this week
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆26Updated last year
- Hardware implementation of polynomial multiplication operation of CRYSTALS-KYBER PQC scheme☆34Updated 3 years ago
- A curated list of awesome side-channel attack resources☆80Updated last year
- Side-channel analysis setup for OpenTitan☆33Updated last week
- prime+probe code targeting a given physical address on libgcrypt run in an SGX enclave☆15Updated 6 years ago
- This is a project in which side-channel attacks are researched and developed.☆46Updated 5 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆67Updated 2 months ago
- Make your first side-channel attack on public datasets with eShard. This is a mirror of scared Gitlab repository. All contributions and m…☆91Updated 2 weeks ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 6 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆35Updated 4 years ago
- Deep Learning-based Framework for Side-Channel Analysis☆34Updated 3 years ago
- Verilog Hardware Design of Ascon☆22Updated last week
- Library for Prime+Probe cache side-channel attacks on L1 and L2☆34Updated 4 years ago
- A free and open source tool for Deep Learning Side Channel Analysis☆16Updated 5 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆62Updated 7 years ago
- ☆9Updated 5 years ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆11Updated last week
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 3 years ago
- David Canright's tiny AES S-boxes☆24Updated 10 years ago