jtcriswell / SVAView external linksLinks
Secure Virtual Architecture
☆42Apr 12, 2019Updated 6 years ago
Alternatives and similar repositories for SVA
Users that are interested in SVA are comparing it to the libraries listed below
Sorting:
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap☆22Aug 15, 2017Updated 8 years ago
- Dynamic instrumentation of the Linux kernel☆41Feb 24, 2015Updated 10 years ago
- SoftBoundCETS for LLVM+Clang version 34☆61Sep 19, 2014Updated 11 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56May 24, 2022Updated 3 years ago
- PathArmor context-sensitive CFI implementation☆45Oct 26, 2015Updated 10 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Dec 20, 2021Updated 4 years ago
- Support UEFI load☆11Oct 1, 2015Updated 10 years ago
- Transform dumped executable memory back into an identical match from disk. Use network or local database to de-locate relocated binaries…☆12Jan 10, 2016Updated 10 years ago
- Lists of must-read papers (mainly security papers)☆32Sep 18, 2024Updated last year
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- implementation of some concepts in Security and Exploiting☆13Aug 24, 2015Updated 10 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 4 years ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Jul 7, 2017Updated 8 years ago
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- ☆16Oct 15, 2024Updated last year
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆37Feb 24, 2016Updated 9 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Aug 13, 2014Updated 11 years ago
- ☆13Oct 17, 2021Updated 4 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18May 8, 2015Updated 10 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- USB armory: open source flash-drive-sized computer☆11Dec 8, 2015Updated 10 years ago
- C adaptation of the swiss table (flat hash map) presented at CppCon by Google (https://www.youtube.com/watch?v=ncHmEUmJZf4).☆19Aug 14, 2019Updated 6 years ago
- ☆37May 15, 2022Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- UEFI セキュアブートのサンプル UEFI アプリケーションです。☆11Nov 6, 2016Updated 9 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Feb 1, 2019Updated 7 years ago
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated last year
- Public release of the tools used to assist in gadget finding.☆42Jan 29, 2018Updated 8 years ago
- Yet another C standard library☆17Oct 6, 2024Updated last year
- Maltrace is a simple syscall tracer for Windows implemented through the use of PIN.☆24Apr 10, 2013Updated 12 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆20Jun 26, 2020Updated 5 years ago
- A code confidentiality framework for Intel SGX☆19Jan 8, 2019Updated 7 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago