Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"
☆17Mar 22, 2026Updated 3 months ago
Alternatives and similar repositories for hyperturtle
Users that are interested in hyperturtle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆16Oct 16, 2025Updated 9 months ago
- ☆15May 23, 2023Updated 3 years ago
- Code of Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices (NDSS 2025)☆26Apr 11, 2025Updated last year
- ☆10Dec 26, 2023Updated 2 years ago
- LLFree: Lock- and Log-free Allocator☆28Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Copy as an OS Service☆27Nov 20, 2025Updated 8 months ago
- safe type-1 Rust Hypervisor for edge devices☆199Jul 1, 2026Updated 2 weeks ago
- Deploy the SC2 system on Kubernetes.☆11May 7, 2025Updated last year
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 8 months ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆42May 5, 2026Updated 2 months ago
- ☆21Apr 3, 2026Updated 3 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆48Apr 8, 2026Updated 3 months ago
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- pKVM POC for x86☆39Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repo models rowhammer in gem5.☆10May 1, 2026Updated 2 months ago
- ☆15Aug 12, 2025Updated 11 months ago
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆15Feb 6, 2026Updated 5 months ago
- ☆76Oct 6, 2023Updated 2 years ago
- ☆16Jul 3, 2025Updated last year
- A thin-hypervisor that runs on aarch64 CPUs.☆103May 28, 2026Updated last month
- ☆12Aug 13, 2014Updated 11 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆36Jul 22, 2025Updated 11 months ago
- ☆10Sep 15, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated last year
- C++ SDK that provides resources for implementing and validating Trusted Computing Solutions on NVIDIA hardware☆40Jun 25, 2026Updated 3 weeks ago
- ☆11Jun 10, 2024Updated 2 years ago
- ☆15Apr 18, 2024Updated 2 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Jun 17, 2026Updated last month
- Fork of KVM with Virtual Machine Introspection patches☆38Jan 22, 2026Updated 5 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- Deduplication over dis-aggregated memory for Serverless Computing☆14Mar 21, 2022Updated 4 years ago
- Linux kernel source tree for PVM☆41Jul 9, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.☆99Jun 18, 2026Updated last month
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆19Sep 15, 2025Updated 10 months ago
- Medusa: Accelerating Serverless LLM Inference with Materialization [ASPLOS'25]☆12Nov 8, 2024Updated last year
- ☆13Oct 17, 2021Updated 4 years ago
- A tool for decomposing DRAM address mapping into component-level functions☆16Jun 12, 2025Updated last year
- ☆13May 6, 2026Updated 2 months ago