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
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- ☆11Updated 4 years ago
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- ☆110Updated last month
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆91Updated last week
- A Secure and Memory-Efficient Heap Allocator☆34Updated last year
- OpenSSL engine for use with SymCrypt cryptographic library☆76Updated this week
- Storage systems with verified correctness properties☆56Updated 3 weeks ago
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆32Updated last week
- ☆28Updated 4 years ago
- The RTOS components for the CHERIoT research platform☆155Updated this week
- Unikraft Applications & Examples Catalog☆69Updated 2 months ago
- ☆30Updated 3 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- The runtime for the Verona project☆35Updated 2 weeks ago
- ☆26Updated last week
- QEMU with support for CHERI☆61Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 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…☆100Updated last month
- ☆52Updated 3 years ago
- musl: A C standard library☆13Updated 2 months ago
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆20Updated last year
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 4 months ago
- Load and execute Linux ELF binaries☆40Updated 3 weeks ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆290Updated last month
- A term rewriting system for experimental programming language development.☆47Updated 3 weeks ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆85Updated last week