DependableSystemsLab / LLFI-GPULinks
Fault injector for GPUs based on the LLFI Fault Injection Tool
☆20Updated 7 years ago
Alternatives and similar repositories for LLFI-GPU
Users that are interested in LLFI-GPU are comparing it to the libraries listed below
Sorting:
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆140Updated 4 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆74Updated 3 years ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 6 years ago
- ☆86Updated 2 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- ☆19Updated 7 years ago
- ☆45Updated 6 years ago
- Code to evaluate XLATE attacks as well existing cache attacks.☆31Updated 6 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆60Updated 5 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- ☆34Updated 2 years ago
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆20Updated 4 years ago
- ☆92Updated last year
- SoftBoundCETS for LLVM+Clang version 34☆59Updated 10 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- ☆66Updated 5 years ago
- This repository contains several tools to perform Cache Template Attacks☆154Updated last year
- This repository contains examples of Flush+Flush cache attacks☆164Updated 3 years ago
- Automatic detection of speculative information flows☆68Updated 4 years ago
- ☆47Updated 3 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Updated 7 years ago
- rfuzz: coverage-directed fuzzing for RTL research platform☆108Updated 3 years ago
- Security Test Benchmark for Computer Architectures☆21Updated 5 months ago
- Tools for "Another Flip in the Wall"☆38Updated 7 years ago
- Buffer overflow testbed, research paper published at ACSAC 2011☆92Updated 8 years ago
- bogo for ASPLOS'19☆9Updated 6 years ago
- Tool for testing and finding minimal eviction sets☆104Updated 4 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆43Updated 3 years ago
- HW interface for memory caches☆28Updated 5 years ago