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
- Side-channel analysis setup for OpenTitan☆30Updated last week
- Program to scan for malicious FPGA designs.☆14Updated 4 years ago
- VexRiscv reference platforms for the pqriscv project☆15Updated last year
- Open Source AES☆31Updated 11 months ago
- USB virtual model in C++ for Verilog☆29Updated 5 months ago
- A padring generator for ASICs☆25Updated last year
- Yosys plugin for logic locking and supply-chain security☆22Updated 8 months ago
- ☆33Updated 2 years ago
- cryptography ip-cores in vhdl / verilog☆40Updated 4 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- ☆14Updated 4 years ago
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago
- Generate symbols from HDL components/modules☆20Updated 2 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆32Updated 8 months ago
- ☆33Updated 4 years ago
- AXI Formal Verification IP☆20Updated 3 years ago
- Examples and design pattern for VHDL verification☆15Updated 8 years ago
- An automatic clock gating utility☆45Updated 8 months ago
- Tests to evaluate the support of VHDL 2008 and VHDL 2019 features☆29Updated last month
- Verilog Hardware Design of Ascon☆20Updated last month
- Open-source implementations of reference Physical True Random Number Generators (TRNG or PTRNG) based on ring oscillators.☆11Updated last week
- A Python package for generating HDL wrappers and top modules for HDL sources☆32Updated this week
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Updated 4 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated 5 months ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- Virtual development board for HDL design☆41Updated last year
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆34Updated last year
- ☆21Updated last week
- SCARV: a side-channel hardened RISC-V platform☆18Updated 3 years ago