☆22Dec 2, 2022Updated 3 years ago
Alternatives and similar repositories for TAP
Users that are interested in TAP are comparing it to the libraries listed below
Sorting:
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- Interesting papers☆11Jun 22, 2024Updated last year
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- ☆22Updated this week
- LEC - Logic Equivalence Checking - Formal Verification☆32Updated this week
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Feb 12, 2026Updated 2 weeks ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated 7 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- ☆10Jan 30, 2022Updated 4 years ago
- ☆40Feb 11, 2026Updated 2 weeks ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- ☆28Mar 31, 2025Updated 11 months ago
- ☆16Jan 5, 2022Updated 4 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 8 months ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆22Aug 7, 2023Updated 2 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- ☆19Jul 12, 2024Updated last year
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- ☆23Apr 7, 2022Updated 3 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Sep 11, 2017Updated 8 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆56Nov 7, 2023Updated 2 years ago
- Code repository for Coppelia tool☆23Nov 12, 2020Updated 5 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Aug 18, 2022Updated 3 years ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆26Dec 23, 2025Updated 2 months ago
- Minimal RISC Extensions for Isolated Execution☆54Jul 11, 2019Updated 6 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- An advanced circuit-based sat solver☆36Feb 24, 2025Updated last year
- design and verification of asynchronous circuits☆43Updated this week
- ☆32Sep 29, 2025Updated 5 months ago
- Top level CedarEDA integration package☆28Oct 22, 2024Updated last year
- LLM Evaluation Benchmark on Hardware Formal Verification☆36Apr 3, 2025Updated 10 months ago