microsoft / monzaLinks
Research unikernel for virtualized services
☆51Updated 2 years ago
Alternatives and similar repositories for monza
Users that are interested in monza are comparing it to the libraries listed below
Sorting:
- Crates for Microsoft Hypervisor ioctls and bindings☆39Updated this week
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- Experimental Linux Virtual Machine based on UML and noMMU☆66Updated 4 years ago
- Heterogeneous Containerization of Large Language Model Apps☆46Updated 3 weeks ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆87Updated 3 weeks ago
- ☆106Updated last week
- ☆30Updated 3 years ago
- musl: A C standard library☆13Updated this week
- QEMU with support for CHERI☆59Updated last week
- ☆52Updated 3 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 3 years ago
- ☆11Updated 4 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆95Updated 3 weeks ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Verification of BPF JIT compilers☆55Updated 2 years ago
- Load and execute Linux ELF binaries☆38Updated 2 weeks ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- A term rewriting system for experimental programming language development.☆44Updated last month
- Generic model checker for concurrent C programs (mirror repository)☆157Updated 2 weeks ago
- ☆28Updated 4 years ago
- ☆24Updated 2 weeks ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆62Updated 3 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆134Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆266Updated 2 weeks ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Updated 2 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆285Updated this week