google / safesideLinks
Understand and mitigate software-observable side-channels
☆505Updated 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 unit test-like interface for fuzzing and symbolic execution☆844Updated 3 months ago
- A fast, parallel test case minimization tool.☆973Updated 4 years ago
- Website and PoC collection for transient execution attacks☆193Updated last year
- RIDL test suite and exploits☆359Updated 5 years ago
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆569Updated 3 years ago
- ☆413Updated 2 weeks ago
- A practical attack framework for precise enclave execution control☆465Updated 3 weeks ago
- Library for structured fuzzing with protobuffers☆638Updated 7 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆729Updated 7 months ago
- This repository contains tools to perform modern cache attacks on ARM.☆292Updated 3 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆653Updated 3 years ago
- ☆280Updated 2 years ago
- The code to the SGX-ROP paper☆184Updated 5 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆417Updated 8 months ago
- DARPA Challenges Sets for Linux, Windows, and macOS☆532Updated 2 years ago
- A static binary rewriter that does not use heuristics☆309Updated 7 years ago
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- TRRespass☆125Updated 4 years ago
- Reverse Engineering Page Table Caches in Your Processor☆373Updated 4 years ago
- ☆471Updated last year
- Kernel Test Framework☆149Updated last week
- A kernelspace syscall interceptor and randomized faulter☆357Updated last year
- Security-related flags and options for C compilers☆198Updated 3 years ago
- The x86 processor fuzzer☆517Updated 7 years ago
- Next-gen Rowhammer fuzzer that uses non-uniform, frequency-based patterns (IEEE S&P '22).☆240Updated last year
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆384Updated last year
- An LLVM sanitizer tutorial☆201Updated 3 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆587Updated 6 years ago
- Set of tests for fuzzing engines☆1,453Updated 4 years ago
- SymCC: efficient compiler-based symbolic execution☆850Updated 6 months ago