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
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 2 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 3 years ago
- Heterogeneous Containerization of Large Language Model Apps☆45Updated last month
- ☆51Updated 3 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Updated 3 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- Tests for verifying compliance of RMM implementations☆18Updated last week
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆11Updated 4 years ago
- ☆10Updated 4 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 5 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Updated 2 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 3 years ago
- 面向可信执行环境的OS。☆12Updated 2 months ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆34Updated 11 years ago
- ☆49Updated 3 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 7 years ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- ☆47Updated 3 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- KLEE's version of uClibc☆54Updated last year
- Trusted I/O Paths for SGX Enclaves☆16Updated 5 years ago