google / safesideLinks
Understand and mitigate software-observable side-channels
☆500Updated 4 years ago
Alternatives and similar repositories for safeside
Users that are interested in safeside are comparing it to the libraries listed below
Sorting:
- Website and PoC collection for transient execution attacks☆185Updated last year
- A unit test-like interface for fuzzing and symbolic execution☆837Updated 5 months ago
- RIDL test suite and exploits☆356Updated 5 years ago
- A fast, parallel test case minimization tool.☆962Updated 4 years ago
- ☆405Updated this week
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆571Updated 3 years ago
- A practical attack framework for precise enclave execution control☆459Updated 2 months ago
- The x86 processor fuzzer☆509Updated 6 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆414Updated 3 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆717Updated 2 months ago
- Security-related flags and options for C compilers☆193Updated 2 years ago
- This repository contains tools to perform modern cache attacks on ARM.☆292Updated 3 years ago
- A kernelspace syscall interceptor and randomized faulter☆354Updated 7 months ago
- Simple Intel CPU processor tracing on Linux☆348Updated 2 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆378Updated last year
- Library for structured fuzzing with protobuffers☆620Updated 3 months ago
- Reverse Engineering Page Table Caches in Your Processor☆373Updated 4 years ago
- Kernel Test Framework☆143Updated 5 months ago
- DARPA Challenges Sets for Linux, Windows, and macOS☆530Updated 2 years ago
- Ledger's Advanced Side-Channel Analysis Repository☆395Updated last year
- The code to the SGX-ROP paper☆184Updated 5 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆572Updated 3 months ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆645Updated 2 years ago
- A static checker for identifying unstable code.☆362Updated 10 years ago
- ☆252Updated 2 years ago
- This repository contains several tools to perform Cache Template Attacks☆153Updated last year
- SymCC: efficient compiler-based symbolic execution☆824Updated 2 months ago
- ☆281Updated 2 years ago
- Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.☆562Updated 5 years ago
- TRRespass☆124Updated 4 years ago