zyedidia / lfi
LFI: Practical, Efficient, and Secure Software-based Sandboxing
☆67Updated this week
Alternatives and similar repositories for lfi:
Users that are interested in lfi are comparing it to the libraries listed below
- ☆50Updated 2 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- QEMU with support for CHERI☆58Updated last week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 10 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆73Updated 2 years ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆25Updated last year
- Verification of BPF JIT compilers☆54Updated last year
- Automatic detection of speculative information flows☆67Updated 3 years ago
- ☆19Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆12Updated last year
- Assembly super-optimization via constraint solving☆188Updated this week
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 11 months ago
- Lists of must-read papers (mainly security papers)☆28Updated 7 months ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆35Updated 7 months ago
- rmem public repo☆41Updated 3 weeks ago
- ☆35Updated 3 years ago
- Load-time selective binary rewriting☆157Updated 2 years ago
- ☆17Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆238Updated 5 months ago
- ☆31Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- An LLVM IR dataset for data-driven compiler optimization research☆37Updated this week
- A formally verified security module for AMD confidential VMs☆43Updated 2 weeks ago
- ☆50Updated last year
- Loupe: Syscall Usage Analysis Tool☆32Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month