intrinsic-propensity / turing-machineLinks
A Python program implementing and exploiting the Minsky Turing machine considered in the paper "Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine" as per CVE-2021-32471 (https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471)
☆78Updated 3 years ago
Alternatives and similar repositories for turing-machine
Users that are interested in turing-machine are comparing it to the libraries listed below
Sorting:
- ☆114Updated 2 years ago
- Proof-of-concept for Spook.js☆70Updated 3 years ago
- GIF displaying its own MD5 (hashquine)☆77Updated 5 years ago
- A possible method for faster-than-light communication☆43Updated last year
- ☆78Updated 4 years ago
- ☆112Updated 2 years ago
- Attempts at fuzzing Python unpicklers☆39Updated last year
- ☆30Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- GNU/Linux on Apple M1 hardware☆36Updated 3 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Updated 5 years ago
- Materials from the DEF CON 30 talk on PACMAN☆33Updated 2 years ago
- ☆20Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Open source binary analysis tools.☆230Updated this week
- A tool for analyzing x86-64 binaries.☆322Updated 10 months ago
- Verification of BPF JIT compilers☆55Updated 2 years ago
- C Compiler which targets Excel (MS Office)☆288Updated 5 years ago
- ☆58Updated 2 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆165Updated last year
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- BTD - Bin To DNN: A DNN Executables Decompiler☆196Updated 2 years ago
- An educational SAT solver written in Rust☆13Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 6 months ago
- Processor fuzzer targeting the Armv8-A ISA☆61Updated 2 years ago
- A differential fuzzer for x86 decoders☆251Updated 10 months ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 5 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆76Updated 2 years ago