Angelogeb / AOSVLinks
Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
☆22Updated 6 years ago
Alternatives and similar repositories for AOSV
Users that are interested in AOSV are comparing it to the libraries listed below
Sorting:
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆25Updated 7 years ago
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆26Updated 6 years ago
- SPRITZ plays CTFs! Writeups by spritzers☆63Updated 7 years ago
- Slides and stuffs of the meetings during the 2018☆13Updated 3 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Updated 3 years ago
- ☆32Updated 2 years ago
- Research paper collection for Linux kernel security from top security conferences.☆77Updated 7 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 7 years ago
- Official repository for ASAP: High System-code Security at Low Overhead☆25Updated 9 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆153Updated 7 years ago
- Cream of the Crop Pwning Challenges☆32Updated 5 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆63Updated 2 years ago
- Flex 'em lexers☆40Updated 4 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Updated 10 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- Rode0day API Client☆18Updated 6 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆113Updated 7 years ago
- ☆29Updated 7 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆41Updated 2 months ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Updated 8 years ago
- A quick-and-easy web CTF platform for people who love ASCII and minimalism.☆13Updated 4 years ago
- An LLVM sanitizer tutorial☆201Updated 3 years ago
- Repository for understanding and writing LLVM passes.☆34Updated 6 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆26Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 4 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Updated 6 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- Public release of the tools used to assist in gadget finding.☆42Updated 7 years ago
- ☆96Updated 6 years ago