mit-pdos / secfs-skeletonLinks
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
☆23Updated 3 years ago
Alternatives and similar repositories for secfs-skeleton
Users that are interested in secfs-skeleton are comparing it to the libraries listed below
Sorting:
- ☆30Updated 3 years ago
- Heterogeneous Containerization of Large Language Model Apps☆46Updated 2 weeks ago
- Trusted I/O Paths for SGX Enclaves☆16Updated 5 years ago
- Tests for verifying compliance of RMM implementations☆18Updated 3 weeks ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- ☆12Updated 11 months ago
- 面向可信执行环境的OS。☆12Updated 3 months ago
- ☆52Updated 3 years ago
- ☆23Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆14Updated last year
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 5 years ago
- ☆47Updated 3 years ago
- ☆13Updated 4 years ago
- ☆25Updated 2 years ago
- ☆20Updated 3 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Updated 3 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 3 years ago
- ☆49Updated 3 years ago
- Verification of BPF JIT compilers☆55Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆16Updated 4 months ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆36Updated 2 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- ☆16Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆19Updated 3 years ago
- ☆32Updated 2 years ago