Alternatives and similar repositories for secfs-skeleton:

Users that are interested in secfs-skeleton are comparing it to the libraries listed below

• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆17Updated last week
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆27Updated 2 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 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
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 8 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆12Updated 5 months ago
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• LearningOS / rCore-Tutorial-Book-v3
  mirror of https://github.com/rcore-os/rCore-Tutorial-Book-v3
  ☆19Updated 2 years ago
• comet-cc / GuaranTEE
  ☆12Updated 6 months ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• microsoft / msr-cloak
  Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…
  ☆13Updated 2 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆96Updated 8 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• vusec / tlbkit
  some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.
  ☆13Updated 5 years ago
• privbox / devenv
  ☆16Updated 2 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 2 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated last month
• sonarsys / BadgerTrap
  BadgerTrap is a tool to instrument x86-64 TLB misses.
  ☆11Updated 8 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 2 years ago
• terry-hsu / smv
  SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications
  ☆13Updated 2 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…
  ☆32Updated 6 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 5 months ago