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:
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- Slides from Public Talks☆18Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated 11 months ago
- The CRISPR static binary patcher☆37Updated 4 years ago
- An IOKit kext designed for microarchitectural security research on M1☆43Updated 2 years ago
- ☆113Updated last year
- Attempts at fuzzing Python unpicklers☆39Updated last year
- Official QEMU mirror☆30Updated last year
- Linux assembly language minimal 'dynamic ELF' example plus experiments☆25Updated 5 years ago
- ☆20Updated 3 years ago
- Ditto.☆18Updated 4 years ago
- ☆78Updated 4 years ago
- XZ backdoor reverse engineering☆95Updated 10 months ago
- Little Kernel for Hyper-V arm64 Guest☆31Updated 3 years ago
- Slides for presentations held at conferences☆46Updated 2 years ago
- ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…☆11Updated 3 years ago
- PoC for PixieFail vulnerabilities☆23Updated last year
- A frozen version of angr for the SAILR paper☆16Updated 9 months ago
- Detect patterns of bad behavior in function calls☆26Updated 4 years ago
- ☆30Updated 3 years ago
- VSCode extension for the LLVM IR language☆62Updated last year
- A stripped-down LLD (LLVM linker)☆29Updated 5 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- A Unicorn based emulator to deobfuscate Equation Group string XOR obfuscation☆31Updated 6 years ago
- Minimal setup to trigger the xz backdoor☆28Updated 8 months ago
- ARM is Turing-complete without data fetches☆56Updated 7 years ago
- ☆58Updated 2 years ago
- ☆15Updated 3 years ago
- Tiny arm64 LZ4 decompressor☆42Updated 3 years ago