Penglai-Enclave / Penglai-Enclave-sPMP

Related projects: ⓘ

• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆37Updated last year
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆63Updated 11 months ago
• riscvarchive / riscv-tee
  ☆37Updated 2 years ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆68Updated 11 months ago
• hku-systems / cronus
  ☆16Updated 2 years ago
• riscv-non-isa / riscv-ap-tee
  This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …
  ☆49Updated 3 weeks ago
• jasonyu1996 / elasticlave
  ☆21Updated last year
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 4 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆34Updated 3 months ago
• cocoppang / ShieldStore
  Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019
  ☆37Updated last year
• HyperEnclave / atc22-ae
  ☆30Updated 2 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆52Updated 10 months ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆29Updated 2 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆22Updated 9 months ago
• occlum / enable_rdfsbase
  A Linux kernel module that enables RDFSBASE instruction and its friends
  ☆7Updated 3 years ago
• utds3lab / sgx-nbench
  The nbench benchmark ported to SGX.
  ☆14Updated 5 years ago
• riscv-admin / trusted-computing
  ☆21Updated last year
• Compass-All / CCS22-StrongBox
  ☆29Updated last year
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 4 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• SJTU-IPADS / enclave-migration
  ☆50Updated this week
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆17Updated 4 years ago
• asterinas / jinzhao-disk
  Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.
  ☆37Updated last year
• acsl-technion / cosmix
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆29Updated 3 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆24Updated 3 weeks ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆93Updated last year
• DCSec / HyperBench
  HyperBench: A Benchmark Suite for Virtualization Capabilities
  ☆24Updated 4 years ago
• SparkYHY / Linux-Driver-Runtime
  ☆13Updated last year
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆37Updated this week