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 this week
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- ☆107Updated 2 weeks ago
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆87Updated last month
- Experimental Linux Virtual Machine based on UML and noMMU☆66Updated 4 years ago
- Sail code model of the CHERIoT ISA☆43Updated last week
- Storage systems with verified correctness properties☆55Updated last week
- ☆11Updated 4 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- QEMU with support for CHERI☆59Updated this week
- ☆25Updated last week
- Helpers and utilities used by multiple rust-vmm components and VMMs☆81Updated last week
- OpenSSL engine for use with SymCrypt cryptographic library☆74Updated last week
- The RTOS components for the CHERIoT research platform☆147Updated this week
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆31Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆289Updated this week
- ☆28Updated 4 years ago
- musl: A C standard library☆13Updated this week
- seL4 Device Driver Framework☆21Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆96Updated last month
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆133Updated this week
- The runtime for the Verona project☆34Updated 2 months ago
- ☆52Updated 3 years ago
- ☆30Updated 3 years ago
- Assembly super-optimization via constraint solving☆216Updated this week
- A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment☆10Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆134Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week