Chair-for-Security-Engineering / AES_masked_BRAMLinks
Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)
☆16Updated 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:
- Side-channel analysis setup for OpenTitan☆34Updated 3 weeks ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 9 months ago
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆42Updated 2 years ago
- Open-source implementations of reference Physical True Random Number Generators (TRNG or PTRNG) based on ring oscillators.☆13Updated this week
- Program to scan for malicious FPGA designs.☆14Updated 4 years ago
- Hardware Design of Ascon☆23Updated this week
- A padring generator for ASICs☆25Updated 2 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Updated 2 months ago
- ☆33Updated 2 years ago
- Bitstream relocation and manipulation tool.☆47Updated 2 years ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- ☆34Updated 4 years ago
- cryptography ip-cores in vhdl / verilog☆41Updated 4 years ago
- SCARV: a side-channel hardened RISC-V platform☆20Updated 4 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- IOPMP IP☆18Updated last week
- SpiceBind – spice inside HDL simulator☆13Updated this week
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆28Updated this week
- Trying to verify Verilog/VHDL designs with formal methods and tools☆42Updated last year
- USB virtual model in C++ for Verilog☆31Updated 8 months ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆30Updated 11 months ago
- AXI Formal Verification IP☆20Updated 4 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆33Updated 11 months ago
- ☆36Updated 2 years ago
- Generate symbols from HDL components/modules☆21Updated 2 years ago
- Open Source AES☆31Updated last year
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆36Updated 2 years ago
- Virtual development board for HDL design☆42Updated 2 years ago