vijay03 / jsys

Related projects ⓘ

Alternatives and complementary repositories for jsys

• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 2 months ago
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 7 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 years ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆50Updated 5 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 4 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆34Updated 3 years ago
• IntelLabs / iHRC
  Intel Heterogeneous Research Compiler (iHRC)
  ☆25Updated last year
• WitchTools / Witch
  Lightweight performance and debugging tools
  ☆17Updated 4 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 8 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 3 years ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 5 years ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆11Updated 3 years ago
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated last year
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 4 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆44Updated 7 years ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆16Updated 9 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆17Updated 8 years ago
• rzezeski / libMicro
  ☆10Updated 4 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆18Updated 5 years ago