Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"
☆17Mar 22, 2026Updated 7 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:
- ☆16Oct 23, 2026Updated last week
- Hugin. The type-1 hypervisor on aarch64.☆13Oct 13, 2025Updated last year
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated last year
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 11 months ago
- 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.
- AmorphOS open source FPGA operating system project☆10Apr 16, 2020Updated 6 years ago
- Copy as an OS Service☆27Nov 20, 2025Updated 11 months ago
- ☆76Oct 6, 2023Updated 3 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 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☆34Oct 7, 2026Updated 3 weeks ago
- Rust library for Intel TDX☆36Aug 26, 2026Updated 2 months ago
- ☆16May 23, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆32Sep 14, 2026Updated last month
- Research unikernel for virtualized services☆58Dec 6, 2022Updated 3 years ago
- Lightweight type-1 Rust Hypervisor for edge devices☆212Updated this week
- Deploy the SC2 system on Kubernetes.☆12May 7, 2025Updated last year
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆44May 5, 2026Updated 5 months ago
- Miscellaneous resource about PVM☆27Oct 23, 2026Updated last week
- CGAD (Causal Graph for Multivariate Time Series Anomaly Detection) [ACM TIST'25]☆10Nov 30, 2024Updated last year
- ☆22Apr 3, 2026Updated 6 months 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.
- AgentCgroup: Understanding and Controlling OS Resources of AI Agents☆83Updated this week
- An FPGA-based NetTLP adapter☆29Mar 10, 2020Updated 6 years ago
- ☆19May 28, 2024Updated 2 years ago
- ☆17Aug 12, 2025Updated last year
- Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches☆11May 31, 2025Updated last year
- Artifacts for SWARM: Replicating Shared Disaggregated-Memory Data in No Time☆10Sep 25, 2024Updated 2 years ago
- ☆11May 1, 2024Updated 2 years ago
- NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing☆69Jun 12, 2023Updated 3 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆104May 28, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)☆92Nov 25, 2024Updated last year
- [ASPLOS'24] FaaSMem: Improving Memory Efficiency of Serverless Computing with Memory Pool Architecture☆12Nov 4, 2024Updated last year
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆37Jul 22, 2025Updated last year
- ☆28Sep 17, 2024Updated 2 years ago
- Artifact for "Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing"☆39Oct 13, 2026Updated 2 weeks ago
- Ymir: The Type-1 Hypervisor.☆69Oct 16, 2026Updated last week