emsec / ImpeccableCircuits
Hardware designs for fault detection
☆16Updated 4 years ago
Alternatives and similar repositories for ImpeccableCircuits:
Users that are interested in ImpeccableCircuits are comparing it to the libraries listed below
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆18Updated 5 years ago
- Development Package for the Hardware API for Lightweight Cryptography☆15Updated last year
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated 4 months ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆36Updated this week
- Add support for reading and writing of trace set files (.trs) to Python☆22Updated 8 months ago
- ☆21Updated 5 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆34Updated 4 years ago
- Verilog Hardware Design of Ascon☆20Updated this week
- ☆12Updated 3 years ago
- ☆15Updated 2 years ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆13Updated this week
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆14Updated 4 years ago
- Side-channel analysis setup for OpenTitan☆29Updated last week
- A list of VHDL codes implementing cryptographic algorithms☆25Updated 3 years ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆46Updated 6 years ago
- ☆9Updated 7 years ago
- Code repository for Coppelia tool☆22Updated 4 years ago
- Program to scan for malicious FPGA designs.☆14Updated 3 years ago
- A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration☆35Updated 7 months ago
- Cross-Domain DPA Attack on SAML11☆15Updated 5 years ago
- Program for finding low gate count implementations of S-boxes.☆39Updated 4 months ago
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 3 years ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆35Updated last year
- Defense/Attack PUF Library (DA PUF Library)☆47Updated 4 years ago
- ☆20Updated 3 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 4 years ago
- Python library for Alphanov's PDM laser sources control☆11Updated 5 years ago
- High-order countermeasures for AES and DES☆25Updated 6 months ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- ☆9Updated 2 years ago