google / safeside
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
- Website and PoC collection for transient execution attacks☆176Updated 10 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆409Updated 8 months ago
- A fast, parallel test case minimization tool.☆950Updated 4 years ago
- ☆398Updated this week
- RIDL test suite and exploits☆353Updated 4 years ago
- A unit test-like interface for fuzzing and symbolic execution☆825Updated this week
- ☆280Updated last year
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆573Updated 3 years ago
- ☆254Updated last year
- An LLVM sanitizer tutorial☆198Updated 2 years ago
- This repository contains tools to perform modern cache attacks on ARM.☆285Updated 3 years ago
- A practical attack framework for precise enclave execution control☆446Updated 2 weeks ago
- Library for structured fuzzing with protobuffers☆597Updated last week
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆369Updated 6 months ago
- A kernelspace syscall interceptor and randomized faulter☆351Updated 2 months ago
- Ledger's Advanced Side-Channel Analysis Repository☆378Updated last year
- The x86 processor fuzzer☆494Updated 6 years ago
- SymCC: efficient compiler-based symbolic execution☆792Updated 6 months ago
- Intel Management Engine JTAG Proof of Concept☆513Updated 4 years ago
- A lightweight dynamic instrumentation library☆1,202Updated last month
- Constant-Time Toolkit☆295Updated 6 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆692Updated 8 months ago
- A differential fuzzer for x86 decoders☆241Updated 3 months ago
- ☆467Updated 2 months ago
- Kernel Test Framework☆141Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆541Updated last month
- High-performance QEMU memory and instruction tracing☆534Updated 6 months ago
- The code to the SGX-ROP paper☆183Updated 4 years ago
- This repository contains examples of DRAMA reverse-engineering and side-channel attacks☆175Updated 7 years ago
- TRRespass☆121Updated 3 years ago