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☆41Updated last week
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- ☆11Updated 4 years ago
- ☆109Updated last week
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆90Updated 2 months ago
- ☆52Updated 3 years ago
- The RTOS components for the CHERIoT research platform☆152Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- Storage systems with verified correctness properties☆55Updated last week
- Unikraft Applications & Examples Catalog☆67Updated last month
- Succeeded by https://github.com/yomaytk/elfconv☆35Updated 2 years ago
- ☆30Updated 3 years ago
- QEMU with support for CHERI☆61Updated last week
- A term rewriting system for experimental programming language development.☆47Updated this week
- Load and execute Linux ELF binaries☆39Updated last week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- ☆26Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- The runtime for the Verona project☆35Updated last month
- ☆43Updated last week
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆287Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆289Updated 2 weeks ago
- musl: A C standard library☆13Updated last month
- A dynamic library bundling the guest payload consumed by libkrun☆105Updated 3 weeks ago
- seL4 Device Driver Framework☆21Updated last year
- Library for AMD SEV☆20Updated 3 years ago
- A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment☆10Updated 2 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 3 years ago