microsoft / monzaLinks
Research unikernel for virtualized services
☆50Updated 2 years ago
Alternatives and similar repositories for monza
Users that are interested in monza are comparing it to the libraries listed below
Sorting:
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- Crates for Microsoft Hypervisor ioctls and bindings☆38Updated this week
- Specs for new networking hardware offloads.☆37Updated 4 months ago
- Storage systems with verified correctness properties☆49Updated last week
- ☆102Updated 2 weeks ago
- OpenSSL engine for use with SymCrypt cryptographic library☆70Updated this week
- The runtime for the Verona project☆33Updated last month
- ☆11Updated 4 years ago
- A term rewriting system for experimental programming language development.☆44Updated last week
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆25Updated last week
- ☆30Updated 3 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆130Updated last year
- QEMU with support for CHERI☆58Updated 2 weeks ago
- Pluggable in-process caching engine to build and scale high performance services☆18Updated 11 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆92Updated 2 weeks ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 3 years ago
- Experimental Linux Virtual Machine based on UML and noMMU☆65Updated 4 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆37Updated 8 months ago
- Sample EVM application for CCF☆13Updated 3 years ago
- C/C++ libraries for working with Linux Tracepoints and user_events☆43Updated 3 months ago
- CHERI C/C++ Programming Guide☆32Updated 2 months ago
- ☆34Updated last week
- ☆35Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated this week
- ☆58Updated 2 months ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Updated 2 years ago