Alternatives and similar repositories for AutoBib

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

• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆19Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• zhangxin00 / thermalscope
  Proof-of-concept implementation for the paper "ThermalScope: A Practical Interrupt Side Channel Attack Based On Thermal Event Interrupts"…
  ☆12Updated 10 months ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• ucbrise / mage
  MAGE: Memory-Aware Garbling Engine
  ☆26Updated last year
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆46Updated 6 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• endplay / omniplay
  Arnold source code
  ☆46Updated 6 years ago
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 8 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• zhangxin00 / segscope
  Proof-of-concept implementation for the paper "SegScope: Probing Fine-grained Interrupts via Architectural Footprints" (HPCA'24)
  ☆19Updated 9 months ago
• ghackebeil / PyORAM
  Python-based Oblivious RAM
  ☆29Updated 5 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 9 years ago
• usi-systems / freud
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Updated last year
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• nfsp3k / DFC
  DFC: High performance string pattern matching
  ☆30Updated 4 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• utds3lab / sgxelide
  A code confidentiality framework for Intel SGX
  ☆18Updated 6 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• mhirki / idq-bench2
  Instruction decoder microbenchmark suite
  ☆11Updated 7 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• sshsshy / ZeroTrace
  ☆49Updated last year
• aclements / mtrace
  Memory access tracing QEMU
  ☆98Updated 8 years ago
• pancake-security / pancake
  System that employs frequency smoothing to protect key-value stores from frequency analysis attacks.
  ☆21Updated 3 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆17Updated 7 years ago