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
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 8 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- 面向可信执行环境的OS。☆12Updated 9 months ago
- ☆23Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆43Updated 3 weeks ago
- Tests for verifying compliance of RMM implementations☆21Updated 4 months ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Updated 10 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago
- ☆52Updated 3 years ago
- Linux io_uring based c++ 20 coroutine library☆28Updated 3 years ago
- Trusted I/O Paths for SGX Enclaves☆18Updated 5 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆21Updated last month
- Commodity Obfuscation Engine for Intel SGX☆20Updated 6 years ago
- ☆21Updated 3 years ago
- Nautilus Aerokernel☆48Updated 3 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Updated 3 years ago
- QARMA block cipher in C☆31Updated 3 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆46Updated 2 years ago
- ☆14Updated last year
- A Type-1.5 hypervisor written in Rust.☆70Updated last year
- 对zircon内核的一些分析，欢迎补充！☆62Updated 6 years ago
- 项目的主仓库☆26Updated 3 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- ☆20Updated 3 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆38Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65Updated 9 months ago
- ChocoPy LLVM Repo☆79Updated 3 years ago