Chair-for-Security-Engineering / AGEMA
Automated Generation of Masked Hardware
☆16Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for AGEMA
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated last month
- ☆21Updated 4 years ago
- VexRiscv reference platforms for the pqriscv project☆15Updated 8 months ago
- Development Package for the Hardware API for Lightweight Cryptography☆15Updated last year
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆14Updated 3 years ago
- Verilog Hardware Design of Ascon v1.2☆19Updated last week
- Side-channel analysis setup for OpenTitan☆28Updated 2 months ago
- Design files and associated documentation for Sonata PCB, part of the Sunburst Project☆13Updated 5 months ago
- ☆55Updated last week
- A list of VHDL codes implementing cryptographic algorithms☆25Updated 2 years ago
- ☆12Updated 2 months ago
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆43Updated last year
- SMT Attack☆19Updated 3 years ago
- David Canright's tiny AES S-boxes☆21Updated 10 years ago
- SILVER - Statistical Independence and Leakage Verification☆12Updated last year
- ☆29Updated 3 years ago
- Characterizer☆21Updated 3 months ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆34Updated 3 years ago
- Integer Multiplier Generator for Verilog☆17Updated last year
- Technology-agnostic Physical Unclonable Function (PUF) hardware module for any FPGA.☆125Updated 2 years ago
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆27Updated last year
- Side-Channel Analysis Library☆74Updated 2 months ago
- Mutation Cover with Yosys (MCY)☆77Updated 2 weeks ago
- ☆76Updated 8 months ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆60Updated last year
- An abstract language model of VHDL written in Python.☆50Updated this week
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆64Updated 2 months ago
- ☆14Updated 2 months ago
- ☆16Updated 4 months ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆29Updated this week