unikraft / run-app-elfloader
Run Unikraft ELF Loader app on Linux executables
☆14Updated last year
Alternatives and similar repositories for run-app-elfloader:
Users that are interested in run-app-elfloader are comparing it to the libraries listed below
- ☆50Updated 2 years ago
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆64Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 7 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- ☆19Updated 2 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated 9 months ago
- musl: A C standard library☆10Updated last month
- ☆12Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 3 months ago
- ☆13Updated 6 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- ☆17Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Verification of BPF JIT compilers☆54Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- A utility library to bridge llvm and mlir gaps.☆13Updated 2 months ago
- Tests for verifying compliance of RMM implementations☆18Updated last month
- ☆16Updated 2 years ago
- Fork of LLVM adding CHERI support☆51Updated last week
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- ☆31Updated 3 years ago
- rmem public repo☆41Updated 2 weeks ago
- QEMU with support for CHERI☆58Updated this week
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆25Updated last year
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆14Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- ☆22Updated 2 weeks ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆39Updated 2 years ago