Research unikernel for virtualized services
☆53Dec 6, 2022Updated 3 years ago
Alternatives and similar repositories for monza
Users that are interested in monza are comparing it to the libraries listed below
Sorting:
- ☆21Apr 15, 2022Updated 3 years ago
- Terraform Script for - Storage, container and data life cycle rules creation at scale☆11Jan 10, 2023Updated 3 years ago
- DID Method for the Confidential Consortium Framework (CCF)☆23Sep 4, 2023Updated 2 years ago
- ☆13Feb 16, 2026Updated last week
- Sample applications for the Confidential Consortium Framework (CCF)☆19Feb 12, 2026Updated 2 weeks ago
- ☆13Apr 9, 2022Updated 3 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 4 years ago
- Stacking List Oriented Basic Architecture Allocator☆15Jan 20, 2019Updated 7 years ago
- ☆18Sep 1, 2018Updated 7 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Exchange Migration Assessment Tool☆22Sep 2, 2022Updated 3 years ago
- Fixpoint data types☆21Jan 2, 2026Updated last month
- Unikraft Google Summer of Code☆15Feb 4, 2026Updated 3 weeks ago
- Track your metrics in GitHub PR to avoid unwanted regressions☆16Feb 14, 2023Updated 3 years ago
- A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it.☆14Dec 17, 2017Updated 8 years ago
- ☆127Feb 3, 2026Updated 3 weeks ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Nov 1, 2025Updated 3 months ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆27Aug 10, 2020Updated 5 years ago
- Rust library for Intel TDX☆31Nov 24, 2025Updated 3 months ago
- ☆28Aug 25, 2021Updated 4 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆58Jan 26, 2024Updated 2 years ago
- Haskell library for creating command-line interfaces (colors, menus, etc.)☆22Feb 17, 2025Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Aug 18, 2022Updated 3 years ago
- Open memory disaggregation☆25Apr 21, 2020Updated 5 years ago
- A UEFI application that measures the number of cycles involved in a VM entry/exit☆31Oct 3, 2017Updated 8 years ago
- Compact binary representation of structured data that can simply be rendered to JSON when desired.☆27Feb 21, 2024Updated 2 years ago
- ☆30Oct 8, 2020Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- ORM tool for .Net / .Net.Core☆17Oct 16, 2023Updated 2 years ago
- ☆23Jun 14, 2023Updated 2 years ago
- Abanu is an operating system written in C#☆19Dec 21, 2019Updated 6 years ago
- Risc-V hypervisor for TEE development☆130Jan 14, 2026Updated last month
- The GUI Hex Editor/Analyzer supports remote access and template. Which works on Winodws/Linux☆16Feb 9, 2023Updated 3 years ago
- It's kinda Unit of Work, Repository things, done intuitively in EF AND EF Core.☆10Mar 4, 2023Updated 2 years ago
- Mindesthaltbarkeitsdatum von Vorräten überwachen☆11Aug 28, 2025Updated 6 months ago
- The runtime for the Verona project☆38Oct 26, 2025Updated 4 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Feb 1, 2024Updated 2 years ago
- Silm your kernel with better configuration.☆39May 3, 2024Updated last year
- Library and macros to simplify writing Haskell FFI code☆40Dec 4, 2022Updated 3 years ago