Alternatives and similar repositories for secfs-skeleton

Users that are interested in secfs-skeleton are comparing it to the libraries listed below

• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆16Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 7 months ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• eunomia-bpf / bpf-benchmark
  Userspace eBPF Runtime Benchmarking Test Suite and Results
  ☆17Updated last year
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆18Updated 5 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated 2 months ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 6 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆65Updated 7 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• comet-cc / GuaranTEE
  ☆12Updated last year
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 8 years ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆17Updated last month
• occlum / sefs
  Simple Encrypted File System for Occlum
  ☆13Updated 2 months ago
• SHTUSIST / AisLSM
  ☆13Updated last year
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆17Updated 7 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆48Updated 3 years ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 6 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆78Updated 3 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆19Updated last year
• ix-project / zygos
  ☆33Updated 8 years ago
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆11Updated 6 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago