SamAinsworth / MarkUs-sp2020View external linksLinks
Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free prevention for low-level languages" by S. Ainsworth and T. M. Jones
☆14Jan 14, 2022Updated 4 years ago
Alternatives and similar repositories for MarkUs-sp2020
Users that are interested in MarkUs-sp2020 are comparing it to the libraries listed below
Sorting:
- ☆10May 12, 2023Updated 2 years ago
- ☆52Jun 15, 2022Updated 3 years ago
- ☆18Sep 4, 2023Updated 2 years ago
- ☆67May 5, 2021Updated 4 years ago
- SoftBoundCETS for LLVM+Clang version 34☆61Sep 19, 2014Updated 11 years ago
- Kernel-Mode-Linux☆24Aug 18, 2022Updated 3 years ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨☆46Jul 18, 2024Updated last year
- Offline repository downloader (client)☆11Aug 1, 2024Updated last year
- ☆11Aug 23, 2023Updated 2 years ago
- ☆38Jan 4, 2018Updated 8 years ago
- based on http://code.google.com/p/maven-replacer-plugin☆13Jan 27, 2022Updated 4 years ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- ☆11Nov 13, 2020Updated 5 years ago
- MicroShift Powered ⚡️ Instant/Local (Just Enough) OpenShift Environment for Developers☆12Nov 5, 2023Updated 2 years ago
- Template for a browser extension with React + TypeScript + esbuild☆11Nov 18, 2022Updated 3 years ago
- Framework for testing the reachability of native functions in Android applications.☆11Aug 30, 2023Updated 2 years ago
- FAINT - FAult INjection Tester☆15Aug 14, 2021Updated 4 years ago
- Apache qpid☆14Jan 16, 2026Updated 3 weeks ago
- Red Hat Brno Lunch Picker☆13Jan 30, 2026Updated 2 weeks ago
- Random UI Fuzzer (Monkey-Fuzzer) for finding bugs in Windows Forms☆10Oct 27, 2019Updated 6 years ago
- ODH integration with AI at the Edge usecases☆13Nov 11, 2024Updated last year
- Centrální portál knihoven☆11Jun 21, 2022Updated 3 years ago
- Java API for LXD☆12Jan 10, 2018Updated 8 years ago
- Slides of mine.☆12Apr 19, 2024Updated last year
- Coordinated and Efficient Huge Page Management with Ingens☆46Feb 9, 2017Updated 9 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago
- Panopticon is a complete in-DRAM RowHammer mitigation. This code simulates an implementation of Panopticon in DDR5.☆14Jun 2, 2023Updated 2 years ago
- AFL++ with support for FormatFuzzer☆18May 28, 2025Updated 8 months ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆17Jun 21, 2025Updated 7 months ago
- Demonstrate Subscriptions via Git Ops☆12Feb 2, 2021Updated 5 years ago
- Lab automation and queuing scripting☆18Feb 8, 2026Updated last week
- IBM Spectrum LSF - IBM Cloud☆16Sep 30, 2024Updated last year
- OpenShift Cluster Autoscaler Must Gather Investigator☆14Jul 12, 2024Updated last year
- ☆10Oct 13, 2020Updated 5 years ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- TL;DR: Mutate a binary to identify potential exploit candidates☆11Jan 12, 2026Updated last month
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Dataset from Linux Raspian VMs and devices with auditd logs capturing various container escape and attacks.☆15Jul 30, 2022Updated 3 years ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago