☆14Apr 27, 2020Updated 6 years ago
Alternatives and similar repositories for pitchfork-angr
Users that are interested in pitchfork-angr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- Improving side channel analysis techniques for CTF problems.☆12Oct 25, 2020Updated 5 years ago
- BTB-X HPCA23 code☆13Jan 6, 2023Updated 3 years ago
- ☆20Jun 13, 2022Updated 4 years ago
- A toy C Compiler implemented by Rust.☆19Feb 4, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Press any key, A to Z, enjoy animations with sounds. Built using libraries Paper.js & Howler.js☆12Apr 11, 2019Updated 7 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 3 years ago
- ☆20Nov 4, 2020Updated 5 years ago
- Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…☆24Nov 12, 2019Updated 6 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 9 months ago
- Speculative Store Bypass (CVE-2018-3639) proof of concept for Linux☆15Oct 22, 2021Updated 4 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A general way to Recover Safe linking protected value/pointer☆16Oct 23, 2022Updated 3 years ago
- ☆14Sep 25, 2013Updated 12 years ago
- small and independent checkpoint☆12Nov 4, 2023Updated 2 years ago
- The Gtgraph library from Georgia Tech.☆18Mar 30, 2023Updated 3 years ago
- Implementing the Precise Runahead (HPCA'20) in gem5☆14Oct 5, 2023Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 4 years ago
- A Scribble library for typesetting grammars better☆15Jul 9, 2026Updated last week
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆43Sep 16, 2019Updated 6 years ago
- A Man in the Middle proof of concept using docker containers☆21Jul 11, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆65Aug 7, 2022Updated 3 years ago
- Sci Blog jekyll theme☆16Dec 17, 2022Updated 3 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Aug 10, 2022Updated 3 years ago
- Source code for DABANGG attack.☆10Mar 26, 2022Updated 4 years ago
- CleanupSpec (MICRO-2019)☆16Oct 22, 2020Updated 5 years ago
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆33May 23, 2024Updated 2 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆22Oct 31, 2020Updated 5 years ago
- Public-facing course info for program analysis materials.☆44Dec 4, 2025Updated 7 months ago
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CTF&RealWorld challenges☆26Oct 18, 2019Updated 6 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- User-space Finite State Machine using (pretty much) Linux kernel functions.☆11Apr 15, 2026Updated 3 months ago
- Side-channel file transfer between independent VMs or processes executed on the same physical host.☆51Jun 1, 2021Updated 5 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated 2 years ago
- Scripts for Racket developers☆25Mar 2, 2021Updated 5 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago