google / safesideLinks
Understand and mitigate software-observable side-channels
☆501Updated 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☆182Updated last year
- RIDL test suite and exploits☆355Updated 4 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆374Updated 10 months ago
- This repository contains tools to perform modern cache attacks on ARM.☆290Updated 3 years ago
- ☆405Updated this week
- A practical attack framework for precise enclave execution control☆457Updated 3 weeks ago
- A fast, parallel test case minimization tool.☆959Updated 4 years ago
- A unit test-like interface for fuzzing and symbolic execution☆832Updated 4 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆414Updated 2 months ago
- TRRespass☆124Updated 4 years ago
- High-performance QEMU memory and instruction tracing☆542Updated 10 months ago
- Kernel Test Framework☆143Updated 4 months ago
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆571Updated 3 years ago
- Library for structured fuzzing with protobuffers☆617Updated last month
- This repository contains several tools to perform Cache Template Attacks☆150Updated last year
- ☆253Updated 2 years ago
- The code to the SGX-ROP paper☆184Updated 5 years ago
- ☆281Updated 2 years ago
- An LLVM sanitizer tutorial☆199Updated 3 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆711Updated last month
- Security-related flags and options for C compilers☆193Updated 2 years ago
- This repository contains examples of Flush+Flush cache attacks☆163Updated 3 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆565Updated last month
- A static checker for identifying unstable code.☆360Updated 10 years ago
- SymCC: efficient compiler-based symbolic execution☆814Updated 3 weeks ago
- A kernelspace syscall interceptor and randomized faulter☆354Updated 6 months ago
- The x86 processor fuzzer☆506Updated 6 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated 10 months ago
- ☆149Updated 6 years ago