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
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆90Updated 2 months ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- ☆108Updated last month
- ☆11Updated 4 years ago
- ☆30Updated 3 years ago
- A term rewriting system for experimental programming language development.☆45Updated this week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- ☆25Updated last week
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- Load and execute Linux ELF binaries☆40Updated 3 weeks ago
- Storage systems with verified correctness properties☆55Updated 2 weeks ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated 2 years ago
- The RTOS components for the CHERIoT research platform☆151Updated last week
- ☆52Updated 3 years ago
- Sail code model of the CHERIoT ISA☆44Updated 3 weeks ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆288Updated last week
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 3 years ago
- QEMU with support for CHERI☆59Updated this week
- musl: A C standard library☆13Updated 3 weeks ago
- 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 week
- OpenSSL engine for use with SymCrypt cryptographic library☆75Updated this week
- The runtime for the Verona project☆34Updated last week
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆282Updated this week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- seL4 Device Driver Framework☆21Updated last year