mit-pdos / secfs-skeleton

Related projects ⓘ

Alternatives and complementary repositories for secfs-skeleton

• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆14Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• Multi-V-VM / MVVM
  Seemlessly Migrate Process without boundary.
  ☆24Updated 5 months ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• hasanmdme / decap
  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
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆22Updated 2 months ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 2 years ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• eunomia-bpf / bpf-benchmark
  Userspace eBPF Runtime Benchmarking Test Suite and Results
  ☆13Updated 7 months ago
• privbox / devenv
  ☆16Updated 2 years ago
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 4 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆15Updated 6 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 4 years ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆34Updated last year
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆22Updated 7 months ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• plasma-umass / sheriff
  Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…
  ☆31Updated 6 years ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆37Updated last year
• FPSG-UIUC / augury
  Using Data Memory-Dependent Prefetchers to Leak Data at Rest
  ☆32Updated 2 years ago
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆27Updated this week
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 4 years ago
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆35Updated 2 years ago
• PLSysSec / swivel
  ☆16Updated last year