SMT Attack
☆23Mar 5, 2021Updated 5 years ago
Alternatives and similar repositories for SMTAttack
Users that are interested in SMTAttack are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a probabilistic SAT attack tool.☆13Jun 5, 2021Updated 4 years ago
- ☆23Mar 13, 2023Updated 3 years ago
- ☆16Feb 9, 2022Updated 4 years ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆69Dec 1, 2022Updated 3 years ago
- Yosys plugin for logic locking and supply-chain security☆23Apr 5, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Jtag parsing scripts☆10Oct 14, 2023Updated 2 years ago
- Lingeling SAT Solver☆106Mar 12, 2024Updated 2 years ago
- [CVPR 2023] "TrojViT: Trojan Insertion in Vision Transformers" by Mengxin Zheng, Qian Lou, Lei Jiang☆14Jan 5, 2024Updated 2 years ago
- Tools for working with circuits as graphs in python☆126Nov 17, 2023Updated 2 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 11 years ago
- ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino☆69May 14, 2025Updated 11 months ago
- processor for post-quantum cryptography☆17Apr 17, 2020Updated 5 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MonoSAT - An SMT solver for Monotonic Theories☆116Mar 21, 2025Updated last year
- Simulated Annealing for MAX-CUT problems on {+1,-1}-weighted complete graphs☆13Feb 2, 2019Updated 7 years ago
- HDF5 library support in clojure☆13Sep 4, 2013Updated 12 years ago
- A Rust Hardware Abstraction Layer for the MAX78000 microcontroller☆13Feb 27, 2025Updated last year
- Web server to receive uploaded LaTeX and execute it in a docker container.☆16Updated this week
- A python3 module to handle YouTube Community Tab☆16Oct 11, 2025Updated 6 months ago
- a getting-started sample for Clojure and Solr☆11Aug 28, 2015Updated 10 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 3 months ago
- Equivalence checking with Yosys☆59Mar 31, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Apr 10, 2020Updated 6 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆62Aug 18, 2025Updated 7 months ago
- Logic Minimization in Python☆26Mar 25, 2026Updated 3 weeks ago
- Software and resources to help Purdue students (and others) continue developing with SystemVerilog after losing access to proprietary too…☆16Jun 13, 2021Updated 4 years ago
- Have an LLM write your biography, probably incorrectly☆14Dec 26, 2024Updated last year
- 嗨... 英雄榜☆11Dec 9, 2022Updated 3 years ago
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- Revisiting Differential-Linear Attacks via a Boomerang Perspective☆11Nov 26, 2025Updated 4 months ago
- ☆13Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Oct 7, 2019Updated 6 years ago
- DUQU MALWARE SOURCE + BINARY + More coming☆14Feb 6, 2023Updated 3 years ago
- 利用angr去除ollvm的虚假控制流☆14Mar 20, 2021Updated 5 years ago
- AVX implementation of the Skinny block cipher☆11Apr 24, 2022Updated 3 years ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆16Dec 30, 2025Updated 3 months ago
- Prediction algorithms for the PCG pseudo-random generator☆15Nov 13, 2020Updated 5 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆15Nov 19, 2020Updated 5 years ago