Automated Generation of Masked Hardware
☆19May 7, 2024Updated last year
Alternatives and similar repositories for AGEMA
Users that are interested in AGEMA are comparing it to the libraries listed below
Sorting:
- ☆19Jul 17, 2025Updated 7 months ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- Hardware designs for fault detection☆19Apr 13, 2020Updated 5 years ago
- ☆15Sep 7, 2020Updated 5 years ago
- DOM Protected Hardware Implementation of AES☆26May 20, 2016Updated 9 years ago
- Resources to break Adoring Poitras from WhibOx contest☆19Apr 13, 2020Updated 5 years ago
- High-order countermeasures for AES and DES☆24Aug 1, 2024Updated last year
- A Jupyter kernel for an ARM assembly intrepreter☆21Sep 9, 2022Updated 3 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆21May 6, 2021Updated 4 years ago
- David Canright's tiny AES S-boxes☆28Aug 18, 2014Updated 11 years ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Feb 18, 2026Updated 2 weeks ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆40Nov 17, 2024Updated last year
- Tiny minimal retro fantasy console having only two commands: peek and poke.☆37Jun 29, 2025Updated 8 months ago
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆45Nov 28, 2022Updated 3 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- This repository contains all the needed source files for several examples from Pong Chu's book: "Pong P. Chu, FPGA Prototyping by VHDL Ex…☆10Apr 2, 2022Updated 3 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- Side-Channel Analysis Library☆106Feb 10, 2026Updated 3 weeks ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated last year
- Proof of Concept to learn Amaranth as an entry effort for Supercon's RTL design competition☆10Nov 11, 2022Updated 3 years ago
- ☆10Aug 25, 2023Updated 2 years ago
- Simple Kubernetes client for Go☆11Feb 1, 2017Updated 9 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Game development library for petit games☆12Aug 27, 2019Updated 6 years ago
- Android version of Gabriele Cirulli's 2048 game☆11May 27, 2014Updated 11 years ago
- ☆12Jan 13, 2025Updated last year
- A semantic web crawler☆20Sep 20, 2010Updated 15 years ago
- IoT-LAB Yocto repository☆14Aug 31, 2022Updated 3 years ago
- A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks☆12Dec 20, 2022Updated 3 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- ☆13Feb 10, 2026Updated 3 weeks ago
- Scripts and functions to calculate and investigate Granger causality in neuroscience☆11Mar 11, 2021Updated 4 years ago
- apk.py makes reverse engineering Android apps easier, automating some repetitive tasks like pulling, decoding, rebuilding and patching an…☆12May 14, 2023Updated 2 years ago
- ztc 涵盖大量zabbix的监控模板,修 改了其中的nginx和php用来更好的完成监控工作☆12Dec 31, 2014Updated 11 years ago