Skip to content
@vmpl-dev

vmpl-dev

README.md

Research Projects on AMD SEV-SNP platform

Cabin: Confining Untrusted Programs within Confidential VMs

Cabin is a system aiming at protecting the guest OS from the untrusted program within confidential VMs. Cabin is built on top of AMD SEV-SNP platform.

TODO:

  • ✅ Implement the basic functionality of Cabin
  • ✅ Support anonymous memory management
  • ✅ Support asynchronous forwarding of system calls
  • ❌ Support fork/clone system calls
  • ❌ Support multi-threading
  • ❌ Support thread-migration
  • ✅ Support zpoline
  • ❌ Support lazypoline
  • ❌ Support passthru-libos

Popular repositories Loading

  1. awesome-sev awesome-sev Public

    awesome AMD SEV projects

    4

  2. awesome-svm awesome-svm Public

  3. sev-guest sev-guest Public

    Forked from AMDESE/sev-guest

    Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.

    C

  4. libvmpl libvmpl Public

    Privileged Execution of Guest Process with VMPL Isolation

    C

  5. vmpl-tests vmpl-tests Public

    C

  6. vmpl-hotcalls vmpl-hotcalls Public

    libvmpl

    Makefile

Repositories

Showing 10 of 20 repositories
  • vmpl-run Public

    Run process in privileged vmpl environment

    vmpl-dev/vmpl-run’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Jan 4, 2025
  • musl Public
    vmpl-dev/musl’s past year of commit activity
    C 0 0 0 0 Updated Dec 31, 2024
  • libvmpl Public

    Privileged Execution of Guest Process with VMPL Isolation

    vmpl-dev/libvmpl’s past year of commit activity
    C 0 0 0 0 Updated Dec 30, 2024
  • vmpl-tests Public
    vmpl-dev/vmpl-tests’s past year of commit activity
    C 0 GPL-3.0 0 0 0 Updated Dec 29, 2024
  • vmpl-apps Public

    VMPL-Process Applications

    vmpl-dev/vmpl-apps’s past year of commit activity
    C 0 0 0 0 Updated Dec 29, 2024
  • .github Public

    VMPL-related projects

    vmpl-dev/.github’s past year of commit activity
    0 0 0 0 Updated Dec 28, 2024
  • zpoline Public Forked from yasukata/zpoline

    system call hook for vmpl-process

    vmpl-dev/zpoline’s past year of commit activity
    C 0 Apache-2.0 40 0 0 Updated Dec 27, 2024
  • libdict Public Forked from fmela/libdict

    C library of key-value data structures.

    vmpl-dev/libdict’s past year of commit activity
    C 0 BSD-2-Clause 75 0 0 Updated Dec 26, 2024
  • vmpl-hotcalls Public

    libvmpl

    vmpl-dev/vmpl-hotcalls’s past year of commit activity
    Makefile 0 GPL-3.0 0 0 0 Updated Dec 26, 2024
  • passthru-libos Public Forked from chiache/passthru-libos
    vmpl-dev/passthru-libos’s past year of commit activity
    C 0 BSD-3-Clause 1 0 0 Updated Nov 19, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…