VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against Side-Channel attacks and Fault Attacks
☆20Nov 18, 2019Updated 6 years ago
Alternatives and similar repositories for VerMFi
Users that are interested in VerMFi are comparing it to the libraries listed below
Sorting:
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- Hardware implementations of the authenticated encryption design ASCON☆20Aug 21, 2017Updated 8 years ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆22Oct 25, 2024Updated last year
- An open-source deterministic fault attack simulator prototype☆62Nov 29, 2020Updated 5 years ago
- SystemVerilog Linter based on pyslang☆31May 5, 2025Updated 10 months ago
- Verification IP for AMBA APB Protocol☆35Nov 7, 2023Updated 2 years ago
- Receive and decode TST-507 TPMS signals☆10Feb 5, 2022Updated 4 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- This tool automates and facilitates an Differential fault analysis attack on AES 128 with a fault injected between the 2 last MixColumns☆13Nov 9, 2022Updated 3 years ago
- 基于FPGA的FFT算法并行优化☆13Mar 7, 2024Updated last year
- ☆27Jun 17, 2025Updated 8 months ago
- ☆10Aug 10, 2020Updated 5 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A tool for modeling FSMs by VHDL or Verilog☆11Updated this week
- Hack23 Public Information Security Management System:Security Through Transparency and Open Documentation Demonstrating Security Excellen…☆23Feb 26, 2026Updated last week
- 大三上做的本科毕设，包含BNN的替代梯度训练，verilog电路实现，完成180nm工艺流片。☆21Jun 30, 2025Updated 8 months ago
- A mini development environment for developing and troubleshooting the Cypress PSoC Digital Filter Block☆11Mar 23, 2020Updated 5 years ago
- Mirror of tachyon-da cvc Verilog simulator☆48Jul 16, 2023Updated 2 years ago
- Mobilenet v1 (3,128,128, alpha=0.25) on STMH7 using STMCube AI☆10Oct 25, 2019Updated 6 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 10 years ago
- Writeups of my favorite challenges from Season 1 of BlockHarbor CTF☆10Oct 20, 2023Updated 2 years ago
- Reverse engineered the villager pypi package to github repo for analysis☆26Sep 20, 2025Updated 5 months ago
- ☆15Sep 4, 2020Updated 5 years ago
- ☆11Jan 10, 2024Updated 2 years ago
- Accelerate multihead attention transformer model using HLS for FPGA☆11Dec 7, 2023Updated 2 years ago
- A specification pattern for consistent AI code generation.☆57Feb 16, 2026Updated 2 weeks ago
- ☆25Sep 17, 2025Updated 5 months ago
- A CPU Backdoor. Phrack 72☆15Dec 4, 2025Updated 3 months ago
- 蓝牙安全检测项目☆10Jan 31, 2023Updated 3 years ago
- ☆10Dec 4, 2016Updated 9 years ago
- Vortex finder for time-dependent Ginzburg-Landau superconductor simulation data☆11Oct 20, 2020Updated 5 years ago
- core placement optimization☆13Dec 25, 2021Updated 4 years ago
- ☆11Jan 5, 2022Updated 4 years ago
- Dual-attention Enhanced Spatial Transcriptomics Denoiser☆12May 8, 2025Updated 9 months ago
- ☆16Sep 12, 2025Updated 5 months ago
- ☆12Jun 22, 2023Updated 2 years ago
- C library for the emulation of reduced-precision floating point types☆55Apr 2, 2023Updated 2 years ago
- Model LLM inference on single-core dataflow accelerators☆18Dec 16, 2025Updated 2 months ago
- 基线核查脚本☆10Apr 13, 2021Updated 4 years ago