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:
- Template repository for CCF apps☆17Feb 12, 2026Updated last month
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆41Mar 12, 2026Updated last week
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- Sample applications for the Confidential Consortium Framework (CCF)☆20Feb 12, 2026Updated last month
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆19Jul 27, 2023Updated 2 years ago
- Track your metrics in GitHub PR to avoid unwanted regressions☆16Feb 14, 2023Updated 3 years ago
- ☆24Mar 6, 2020Updated 6 years ago
- A term rewriting system for experimental programming language development.☆50Mar 12, 2026Updated last week
- Hypervisor from scratch in linux☆13May 8, 2022Updated 3 years ago
- ☆30Aug 16, 2024Updated last year
- ☆13Apr 9, 2022Updated 3 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
- An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on A…☆59Aug 30, 2022Updated 3 years ago
- ☆13Feb 16, 2026Updated last month
- ACC template generation engine☆12Jun 12, 2023Updated 2 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Apr 18, 2019Updated 6 years ago
- A confidential variant of Linkerd's emojivoto demo application. Your emoji votes have never been more secure!☆14May 14, 2025Updated 10 months ago
- ☆17Oct 9, 2023Updated 2 years ago
- ☆14Mar 29, 2020Updated 5 years ago
- An HTTP Server for FPGAs☆16Sep 26, 2023Updated 2 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆73Feb 11, 2026Updated last month
- ☆12Aug 13, 2014Updated 11 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 4 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Feb 1, 2024Updated 2 years ago
- ☆128Feb 3, 2026Updated last month
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆58Jan 26, 2024Updated 2 years ago
- A library for testing concurrent C++ code and deterministically reproducing bugs.☆44Sep 29, 2022Updated 3 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆39Feb 12, 2026Updated last month
- Developer documentation for EMF APIs☆14May 29, 2024Updated last year
- ☆18Sep 1, 2018Updated 7 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Nov 1, 2025Updated 4 months ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Aug 18, 2022Updated 3 years ago
- Exchange Migration Assessment Tool☆22Sep 2, 2022Updated 3 years ago
- Library sandboxing for the Verona research language and usable in other contexts.☆51Sep 19, 2023Updated 2 years ago
- Storage systems with verified correctness properties☆64Updated this week
- Sync distributed sets using bloom filters☆26Nov 4, 2021Updated 4 years ago
- Fork of KVM with Virtual Machine Introspection patches☆37Jan 22, 2026Updated last month