Alternatives and similar repositories for c3

Users that are interested in c3 are comparing it to the libraries listed below

• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆45Updated 7 years ago
• mbailleu / avocado
  ☆16Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆33Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• GLaDOS-Michigan / I4
  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
• hedayati / hodor
  Hodor-PKU
  ☆24Updated 3 years ago
• columbia / crane
  Transparent Paxos
  ☆44Updated 6 years ago
• utsaslab / WineFS
  WineFS (SOSP 21): a huge-page aware file system for persistent memory
  ☆36Updated last year
• WukLab / Pythia
  Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.
  ☆28Updated 4 years ago
• sslab-gatech / cst-locks
  ☆15Updated 4 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• OSUSysLab / wPerf
  ☆54Updated 4 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 3 weeks ago
• epfl-dcsl / hovercraft
  ☆14Updated 5 years ago
• DeathWish5 / rCore_tutorial_tests
  rCore_tutorial_tests
  ☆11Updated 3 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆35Updated 8 months ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 5 years ago
• ut-osa / strata
  Strata: A Cross Media File System
  ☆72Updated 2 years ago
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆82Updated 3 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• SJTU-IPADS / cocytus
  Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication
  ☆30Updated 9 years ago
• sihangliu / pmtest
  ☆28Updated 5 years ago
• snalli / mnemosyne-gcc
  GCC port of TM system Mnemosyne
  ☆32Updated 6 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• madsys-dev / syscall_intercept
  The system call intercepting library
  ☆22Updated 2 years ago
• ShenJiahuan / Sharded-KV
  A distributed sharded KV aiming at strong consistency
  ☆10Updated last year
• xu910121 / x86_64-Architecture
  x86_64体系结构学习
  ☆10Updated 6 years ago
• LPD-EPFL / mu
  Mu: Microsecond Consensus for Microsecond Applications
  ☆39Updated 4 years ago
• utds3lab / sgx-nbench
  The nbench benchmark ported to SGX.
  ☆13Updated 5 years ago