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:
- Attempts at fuzzing Python unpicklers☆40Updated last year
- ☆113Updated last year
- Little Kernel for Hyper-V arm64 Guest☆31Updated 3 years ago
- ☆30Updated 3 years ago
- ☆20Updated 3 years ago
- Proof-of-concept for Spook.js☆70Updated 3 years ago
- Pickle decompiler plugin for Radare2☆18Updated 2 years ago
- ☆78Updated 4 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆21Updated 2 years ago
- A possible method for faster-than-light communication☆43Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- A C library and binary for generating machine code of x86_64 assembly language and executing on the fly without invoking another compiler…☆191Updated 6 months ago
- GIF displaying its own MD5 (hashquine)☆77Updated 5 years ago
- Materials from the DEF CON 30 talk on PACMAN☆33Updated 2 years ago
- C Compiler which targets Excel (MS Office)☆288Updated 5 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
- ☆112Updated 2 years ago
- GNU/Linux on Apple M1 hardware☆36Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆33Updated 3 years ago
- ☆95Updated last year
- Arbitrary Speculative Code Execution with Return Instructions☆160Updated last year
- CVE-2022-32947 walkthough and demo☆174Updated last year
- Binary patching framework for Linux kernels☆47Updated 6 years ago
- This loads DWARF info from an open binary and propagates function names, arguments, and type info☆26Updated 2 years ago
- Implementation of https://eprint.iacr.org/2021/232☆94Updated 4 years ago
- ☆58Updated 2 years ago
- Official QEMU mirror☆30Updated last year
- Wiki pages for compiler technologies https://compilers.wiki☆24Updated 2 years ago
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆75Updated 2 weeks ago