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 4 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 8 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 7 months ago
- ☆23Updated 2 years ago
- Trusted I/O Paths for SGX Enclaves☆18Updated 5 years ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆17Updated last year
- ☆33Updated 7 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 3 years ago
- 面向可信执行环境的OS。☆12Updated 7 months ago
- ☆12Updated last year
- ☆52Updated 3 years ago
- ChocoPy LLVM Repo☆77Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Rcore Virtual Machine☆114Updated last year
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- Crash Consistency Checker☆11Updated 9 years ago
- ☆13Updated last year
- Framework of pa code for THU compiler principle course.☆13Updated 6 years ago
- A Type-1.5 hypervisor written in Rust.☆69Updated last year
- Nautilus Aerokernel☆48Updated 3 years ago
- ☆46Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- rmem public repo☆48Updated 7 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆11Updated 9 years ago
- OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例☆46Updated 3 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago