ssrg-vt / libhermitMPK

Related projects: ⓘ

• mars-research / lvd-linux
  ☆19Updated 2 years ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆24Updated this week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆23Updated last month
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆52Updated 2 weeks ago
• hedayati / hodor
  Hodor-PKU
  ☆21Updated 3 years ago
• olivierpierre / unikernel-papers
  ☆104Updated 2 weeks ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆45Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆93Updated last year
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆15Updated 2 months ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• PLSysSec / swivel
  ☆16Updated 11 months ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆35Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆32Updated 3 months ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆21Updated last year
• intel / MigTD
  ☆20Updated last week
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆22Updated 4 months ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆25Updated this week
• intel / linux-kernel-dcp
  ☆17Updated this week
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆22Updated 2 weeks ago
• yasukata / ELISA
  ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines
  ☆18Updated last year
• cispa / mwait
  Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…
  ☆19Updated 9 months ago
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• intel-staging / qemu-tdx
  ☆33Updated last week
• rust-vmm / vm-fdt
  ☆13Updated last month
• mars-research / redleaf
  RedLeaf Operating System
  ☆115Updated 2 years ago