emsec / ImpeccableCircuits
Hardware designs for fault detection
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ImpeccableCircuits
- Secure AES128 Encryption Implementation for ATmega8515☆34Updated 3 years ago
- ☆12Updated 3 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆32Updated this week
- A list of VHDL codes implementing cryptographic algorithms☆25Updated 2 years ago
- Verilog Hardware Design of Ascon v1.2☆20Updated last week
- ☆21Updated 4 years ago
- Program for finding low gate count implementations of S-boxes.☆37Updated last month
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆14Updated 3 years ago
- ☆15Updated 2 years ago
- ☆45Updated 6 months ago
- ☆9Updated 7 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated last month
- Cross-Domain DPA Attack on SAML11☆15Updated 5 years ago
- Development Package for the Hardware API for Lightweight Cryptography☆15Updated last year
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆34Updated 3 years ago
- Higher-order Masking of AES-128 based on the Rivain and Prouff method, CPRR method and Common Shares with Random Reduction method.☆13Updated 7 years ago
- DFA scripts using Jlsca☆10Updated 5 years ago
- Automated Generation of Masked Hardware☆16Updated 6 months ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆44Updated 6 years ago
- Add support for reading and writing of trace set files (.trs) to Python☆22Updated 5 months ago
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆28Updated 2 years ago
- Side-Channel Analysis Library☆74Updated 2 months ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Side-channel analysis setup for OpenTitan☆28Updated 2 months ago
- SILVER - Statistical Independence and Leakage Verification☆12Updated last year
- ☆16Updated 3 years ago
- Defense/Attack PUF Library (DA PUF Library)☆46Updated 4 years ago
- Integer Multiplier Generator for Verilog☆17Updated last year
- SCARR is a Side-Channel Analysis (SCA) framework☆59Updated 2 months ago