DependableSystemsLab / LLFI-GPU
Fault injector for GPUs based on the LLFI Fault Injection Tool
☆19Updated 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:
- 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…☆72Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 11 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆60Updated 5 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 8 years ago
- ☆32Updated last year
- Step by step manual for building KLEE☆18Updated 7 years ago
- ☆19Updated 2 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- ☆63Updated 5 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 7 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆52Updated 2 months ago
- ☆47Updated 3 years ago
- ☆34Updated 5 years ago
- bogo for ASPLOS'19☆9Updated 6 years ago
- ☆80Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆21Updated 2 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆50Updated 8 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- ☆13Updated 5 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆40Updated 3 years ago
- HW interface for memory caches☆26Updated 5 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 7 years ago
- Experimental setup of "Intel MPX explained"☆27Updated 5 years ago
- 64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…☆21Updated 3 years ago