microsoft / monzaLinks
Research unikernel for virtualized services
☆52Updated 3 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)☆39Updated 2 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆95Updated 2 months ago
- Storage systems with verified correctness properties☆59Updated last month
- ☆139Updated this week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- A term rewriting system for experimental programming language development.☆48Updated last month
- The runtime for the Verona project☆38Updated 2 months ago
- Library sandboxing for the Verona research language and usable in other contexts.☆47Updated 2 years ago
- A Secure and Memory-Efficient Heap Allocator☆34Updated last year
- SFI verifier of Wasm binaries☆84Updated 2 years ago
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- QEMU with support for CHERI☆64Updated last week
- CHERI C/C++ Programming Guide☆40Updated last week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated last month
- ☆11Updated 4 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆302Updated last month
- ☆30Updated 4 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- ☆52Updated 3 years ago
- Crellvm: Verified Credible Compilation for LLVM☆17Updated 7 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆148Updated 11 months ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- XML representation of the x86 instruction set☆29Updated this week
- Verification of BPF JIT compilers☆58Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- ☆28Updated 4 years ago
- The RTOS components for the CHERIoT research platform☆156Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 3 years ago