Alternatives and similar repositories for SafeBricks

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

• P4xos / P4xos
  ☆11Updated 7 years ago
• nokia / ClickNF
  ☆31Updated 5 years ago
• cloud-security-research / sgx-ids
  ☆14Updated 2 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆62Updated 2 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 2 months ago
• cocoppang / ShieldStore
  Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019
  ☆38Updated 2 years ago
• ix-project / zygos
  ☆31Updated 7 years ago
• NetSys / resq
  ☆15Updated 6 years ago
• PathDump / PathDump
  Implementation based on OSDI paper
  ☆19Updated 7 years ago
• bestephe / loom
  The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"
  ☆30Updated 6 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• nfsp3k / DFC
  DFC: High performance string pattern matching
  ☆30Updated 4 years ago
• harvard-cns / deter
  ☆21Updated 6 years ago
• ucbrise / mage
  MAGE: Memory-Aware Garbling Engine
  ☆26Updated 10 months ago
• epfl-dcsl / lancet-tool
  ☆29Updated 10 months ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆33Updated 3 years ago
• smartnic / sigcomm21_artifact
  SIGCOMM 2021 artifact
  ☆12Updated 10 months ago
• GuanhuaWang / SystemPaper
  This is a paper review repo. of top-tier Computer System Conferences
  ☆10Updated 5 years ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 5 years ago
• smcclure20 / scheduling-policies-sim
  ☆20Updated 3 years ago
• ants-xjtu / rubik
  ☆16Updated last year
• dslab-epfl / ebpf-se
  Tool to symbolically execute eBPF programs
  ☆14Updated last year
• 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
• ccp-project / portus
  A congestion control plane. (SIGCOMM '18)
  ☆77Updated last year
• dslab-epfl / pix
  Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
  ☆16Updated 2 years ago
• SabaEskandarian / Fidelius
  Protecting user secrets from compromised browsers and operating systems
  ☆17Updated 6 years ago
• packet-transactions / domino-compiler
  The Domino compiler to run packet programs on pipelined switches
  ☆29Updated 3 years ago
• harvard-cns / cheetah-release
  Cheetah is a system that optimizes queries using programmable switches.
  ☆20Updated 5 years ago
• hku-systems / plover
  ☆9Updated 5 years ago
• Orange-OpenSource / oko
  Extend Open vSwitch with BPF programs at runtime
  ☆32Updated 5 years ago