Chair-for-Security-Engineering / AGEMALinks
Automated Generation of Masked Hardware
☆18Updated last year
Alternatives and similar repositories for AGEMA
Users that are interested in AGEMA are comparing it to the libraries listed below
Sorting:
- A list of VHDL codes implementing cryptographic algorithms☆27Updated 4 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆23Updated last year
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆20Updated 6 years ago
- Hardware Design of Ascon☆29Updated last month
- Cryptanalysis of Physically Unclonable Functions☆89Updated last year
- Development Package for the Hardware API for Lightweight Cryptography☆16Updated 8 months ago
- Technology-agnostic Physical Unclonable Function (PUF) hardware module for any FPGA.☆136Updated 3 years ago
- SCARV: a side-channel hardened RISC-V platform☆22Updated 4 years ago
- Naive Educational RISC V processor☆91Updated last month
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆39Updated 2 weeks ago
- SILVER - Statistical Independence and Leakage Verification☆14Updated 5 months ago
- Repo for all activity related to the ODSA Bunch of Wires Specification☆27Updated last year
- Mutation Cover with Yosys (MCY)☆88Updated 2 weeks ago
- This repository contains the hardware design source files of the Hex Five X300 RISC-V SoC. The X300 is Hex Five's official reference HW p…☆33Updated last year
- Yosys plugin for logic locking and supply-chain security☆22Updated 7 months ago
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- 🎲 A Tiny and Platform-Independent True Random Number Generator for any FPGA (and ASIC).☆207Updated this week
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆30Updated 2 years ago
- ☆33Updated 10 months ago
- Fine Grain FPGA Overlay Architecture and Tools☆28Updated 4 years ago
- ☆38Updated 3 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 10 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 5 years ago
- HW Design Collateral for Caliptra RoT IP☆116Updated this week
- Basic Common Modules☆45Updated 3 months ago
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆48Updated 2 years ago
- RPHAX provides a quick automation flow to develop and prototype hardware accelerators on Xilinx FPGAs. Currently, the framework has suppo…☆21Updated 2 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆38Updated 4 years ago
- ☆58Updated 8 months ago
- Xilinx Unisim Library in Verilog☆87Updated 5 years ago