mit-pdos / secfs-skeletonLinks
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
☆24Updated 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
- 面向可信执行环境的OS。☆12Updated 5 months ago
- Trusted I/O Paths for SGX Enclaves☆18Updated 5 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 4 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- ☆12Updated last year
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆17Updated last year
- ☆19Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago
- ☆20Updated 3 years ago
- ☆23Updated 2 years ago
- Compartmentalised monolithic library OS☆19Updated 4 years ago
- ☆52Updated 3 years ago
- caijiqhx notes☆17Updated 11 months ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Updated last year
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Updated 3 years ago
- ☆13Updated 2 months ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆17Updated 6 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆46Updated 3 years ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆31Updated 2 weeks ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆39Updated last year
- ☆16Updated 3 years ago
- ☆16Updated 6 years ago
- Tests for verifying compliance of RMM implementations☆19Updated 3 weeks ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago