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
☆21Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 4 years ago
- ☆20Oct 3, 2021Updated 5 years ago
- Fault finder main code repository☆13Oct 14, 2024Updated 2 years ago
- This repository describes two frameworks which can be used for pre-Silicon power side-channel analysis of digital circuit designs (i.e., …☆16Feb 16, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CHES 2022 White-box Cryptography Tutorial☆20Nov 18, 2022Updated 3 years ago
- Accelerator for LLM Based on Chisel3☆15Jul 16, 2026Updated 3 months ago
- Source code for the Observatory of Anonymity☆10Jul 28, 2026Updated 3 months ago
- ☆13Oct 30, 2024Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆36Aug 29, 2023Updated 3 years ago
- ChipWhisperer-Lint is an open source implementation of our automated leakage detection tool.☆17Aug 8, 2018Updated 8 years ago
- An open-source deterministic fault attack simulator prototype☆67Nov 29, 2020Updated 5 years ago
- ngcc artifacts☆46Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM☆11May 28, 2016Updated 10 years ago
- SystemVerilog Linter based on pyslang☆34May 5, 2025Updated last year
- A simple template for simple FPGA projects (mostly Verilog HDL and Xilinx Toolchain)☆10May 2, 2014Updated 12 years ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆24Oct 25, 2024Updated 2 years ago
- C library for the emulation of reduced-precision floating point types☆59Apr 2, 2023Updated 3 years ago
- DNS delegation path traceroute☆12May 17, 2016Updated 10 years ago
- Sigrok ISO7816 (Smartcard) decoder☆16Apr 1, 2025Updated last year
- Crawler based on a modified browser to detect online tracking.☆11Jul 19, 2023Updated 3 years ago
- Simple Python implementation of HQC, a code-based KEM.☆14Aug 25, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tcl package that provides access to a Python interpreter☆16Sep 1, 2022Updated 4 years ago
- Implementation of "Faster TFHE Bootstrapping with Block Binary Keys" [LMSS23]☆11Jun 30, 2023Updated 3 years ago
- CardStalker provides a UART-driven smartcard reader at the T=1 (see ISO7816-3) level (link and physical layer), where most of the smartca…☆24May 1, 2022Updated 4 years ago
- Code and data for the CCS'19 paper "Watching You Watch: The Tracking Ecosystem of Over-the-TopTV Streaming Devices"☆13Dec 14, 2019Updated 6 years ago
- Resources to break Adoring Poitras from WhibOx contest☆20Apr 13, 2020Updated 6 years ago
- ☆13Nov 2, 2023Updated 3 years ago
- Yet Another Lovely Lib for AVR☆12Apr 3, 2015Updated 11 years ago
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- yet another web fingerprinter☆14Nov 30, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Aug 11, 2026Updated 2 months ago
- A crawler that uses OpenWPM.☆12Dec 26, 2021Updated 4 years ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated last year
- IP-XACT XML binding library☆17Jun 23, 2016Updated 10 years ago
- ☆20Nov 14, 2022Updated 3 years ago
- ☆10Apr 13, 2020Updated 6 years ago
- Side-Channel Analysis Library☆121Apr 10, 2026Updated 6 months ago