Chair-for-Security-Engineering / AES_masked_BRAM
Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)
☆15Updated 4 years ago
Alternatives and similar repositories for AES_masked_BRAM
Users that are interested in AES_masked_BRAM are comparing it to the libraries listed below
Sorting:
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- Program to scan for malicious FPGA designs.☆14Updated 4 years ago
- Side-channel analysis setup for OpenTitan☆32Updated 3 weeks ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Updated last month
- ☆33Updated 2 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 7 months ago
- SCARV: a side-channel hardened RISC-V platform☆26Updated 2 years ago
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆40Updated 2 years ago
- AXI Formal Verification IP☆20Updated 4 years ago
- FPGA board-level debugging and reverse-engineering tool☆37Updated 2 years ago
- USB virtual model in C++ for Verilog☆30Updated 7 months ago
- Modular Exponentiation core written i Verilog. Supports key lengths between 32 and 8192 bits.☆17Updated 4 years ago
- Open Source AES☆31Updated last year
- cryptography ip-cores in vhdl / verilog☆40Updated 4 years ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆32Updated last week
- Virtual development board for HDL design☆42Updated 2 years ago
- High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model☆23Updated 5 months ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆33Updated 10 months ago
- ☆21Updated this week
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago
- Generate symbols from HDL components/modules☆21Updated 2 years ago
- Examples and design pattern for VHDL verification☆15Updated 9 years ago
- ☆33Updated 4 years ago
- An open silicon CHERIoT Ibex microcontroller chip☆15Updated last month
- ☆36Updated 2 years ago
- Hamming ECC Encoder and Decoder to protect memories☆32Updated 3 months ago
- Verilog Hardware Design of Ascon☆22Updated 3 weeks ago
- A padring generator for ASICs☆25Updated last year
- ☆17Updated 2 years ago