danceos / fail
FAult Injection Leveraged
☆39Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fail
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 7 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…☆68Updated 2 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆79Updated 6 years ago
- ☆27Updated 8 years ago
- Test suite for the Linux perf_event subsystem☆110Updated last month
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 3 years ago
- ☆55Updated 2 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆11Updated 9 years ago
- memTrace, a framework for lightweight memory tracing☆55Updated 4 years ago
- Main repository of KEDR project☆118Updated 3 years ago
- Hardware-assisted Data-flow Isolation☆26Updated 6 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆60Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆242Updated 6 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- Memory access tracing QEMU☆94Updated 7 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- A network interface for GDB for Linux Kernel☆63Updated last year
- PCI device for qemu with mmio, pio, dma☆73Updated 7 years ago
- ☆89Updated 7 months ago
- ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…☆50Updated 2 years ago
- Main repository for KernelStrider project☆24Updated 7 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 4 years ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- The Captive Hypervisor☆40Updated 2 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- ☆23Updated last year