microsoft / monza
Research unikernel for virtualized services
☆48Updated last year
Related projects: ⓘ
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆34Updated 9 months ago
- Crates for Microsoft Hypervisor ioctls and bindings☆29Updated this week
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆38Updated this week
- A term rewriting system for experimental programming language development.☆38Updated last week
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆19Updated this week
- ☆20Updated last week
- SFI verifier of Wasm binaries☆79Updated last year
- ☆86Updated 3 weeks ago
- ☆13Updated last month
- The runtime for the Verona project☆24Updated last week
- Run Unikraft ELF Loader app on Linux executables☆13Updated 11 months ago
- ☆18Updated 2 weeks ago
- ☆11Updated 3 years ago
- Storage systems with verified correctness properties☆28Updated this week
- QEMU with support for CHERI☆52Updated 2 weeks ago
- Library for AMD SEV☆20Updated 2 years ago
- ☆48Updated 4 months ago
- Sail code model of the CHERIoT ISA☆32Updated this week
- Specs for new networking hardware offloads.☆26Updated 11 months ago
- Succeeded by https://github.com/yomaytk/elfconv☆34Updated 10 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆35Updated last year
- Experimental Linux Virtual Machine based on UML and noMMU☆61Updated 3 years ago
- ☆17Updated 3 weeks ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- ☆30Updated 2 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆15Updated last month
- A Secure and Memory-Efficient Heap Allocator☆32Updated 2 months ago
- ☆56Updated this week
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆142Updated 2 months ago