Chair-for-Security-Engineering / VERICA
☆15Updated 5 months ago
Alternatives and similar repositories for VERICA
Users that are interested in VERICA are comparing it to the libraries listed below
Sorting:
- ☆48Updated last year
- ☆22Updated 5 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 7 months ago
- Side-Channel Analysis Library☆89Updated last week
- Masked Hardware AES with HPC☆12Updated 6 months ago
- Verilog Hardware Design of Ascon☆22Updated 3 weeks ago
- Side-channel analysis setup for OpenTitan☆32Updated 3 weeks ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆26Updated last year
- Masked implementations of PQ schemes for the Cortex-M4.☆9Updated 3 months ago
- This is a project in which side-channel attacks are researched and developed.☆45Updated 5 years ago
- Deep Learning-based Framework for Side-Channel Analysis☆34Updated 3 years ago
- SILVER - Statistical Independence and Leakage Verification☆14Updated 2 years ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆48Updated 6 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆66Updated last month
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆39Updated this week
- ☆21Updated last year
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆62Updated 7 years ago
- Research code to perform AES timing attacks circa 2006☆15Updated 11 years ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆52Updated 2 years ago
- David Canright's tiny AES S-boxes☆24Updated 10 years ago
- ☆18Updated 4 years ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆18Updated 5 years ago
- A free and open source tool for Deep Learning Side Channel Analysis☆16Updated 5 years ago
- CHES 2022 White-box Cryptography Tutorial☆20Updated 2 years ago
- Tutorials and examples on how to use Jlsca, the high-performance side channel analysis toolkit written in Julia☆49Updated 5 years ago
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆9Updated 3 years ago
- ☆9Updated 5 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆24Updated 3 weeks ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆35Updated 4 years ago