google / safeside
Understand and mitigate software-observable side-channels
☆502Updated 4 years ago
Alternatives and similar repositories for safeside
Users that are interested in safeside are comparing it to the libraries listed below
Sorting:
- A practical attack framework for precise enclave execution control☆456Updated this week
- Website and PoC collection for transient execution attacks☆182Updated last year
- High-performance QEMU memory and instruction tracing☆543Updated 9 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆373Updated 9 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆412Updated last month
- SymCC: efficient compiler-based symbolic execution☆810Updated 2 months ago
- A fast, parallel test case minimization tool.☆957Updated 4 years ago
- A unit test-like interface for fuzzing and symbolic execution☆831Updated 3 months ago
- The x86 processor fuzzer☆505Updated 6 years ago
- RIDL test suite and exploits☆355Updated 4 years ago
- This repository contains tools to perform modern cache attacks on ARM.☆289Updated 3 years ago
- ☆405Updated this week
- Library for structured fuzzing with protobuffers☆615Updated last month
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆571Updated 3 years ago
- A lightweight dynamic instrumentation library☆1,240Updated last month
- ☆280Updated 2 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated 10 months ago
- Checking that functions are constant time with Valgrind☆181Updated 8 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆641Updated 2 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆711Updated 2 weeks ago
- A static binary rewriter that does not use heuristics☆304Updated 6 years ago
- A kernelspace syscall interceptor and randomized faulter☆356Updated 5 months ago
- Driller: augmenting AFL with symbolic execution!☆934Updated last month
- This repository contains examples of DRAMA reverse-engineering and side-channel attacks☆183Updated 7 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆526Updated 4 years ago
- An LLVM sanitizer tutorial☆199Updated 2 years ago
- Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.☆562Updated 4 years ago
- DARPA Challenges Sets for Linux, Windows, and macOS☆526Updated last year
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆578Updated 6 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆564Updated last month