Alternatives and similar repositories for oblivious-cpu:

Users that are interested in oblivious-cpu are comparing it to the libraries listed below

• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• amenonsen / tappet
  ☆30Updated 3 years ago
• jeremycw / tetris-verilog
  Verilog Tetris
  ☆13Updated 10 years ago
• joeltg / brainfreeze
  Fully Homomorphic Brainfuck
  ☆19Updated 6 years ago
• google / minetest_pnr
  Place & Router for Minetest
  ☆18Updated 2 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆28Updated 5 months ago
• leanprover / super
  Superposition prover
  ☆17Updated last year
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• skeeto / pgpcollider
  OpenPGP Long Key ID Collider
  ☆15Updated 5 years ago
• xaptum / ecdaa
  A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…
  ☆45Updated 3 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• attresearch / yakker
  ☆22Updated 12 years ago
• joostrijneveld / SPHINCS-256-py
  A Python implementation of the SPHINCS-256 scheme
  ☆14Updated 8 years ago
• dbunker / SABR
  Spatial and Action Based Resolver
  ☆13Updated 6 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆23Updated 5 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆66Updated this week
• LoupVaillant / elligator
  Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange
  ☆16Updated 4 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 7 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆21Updated 4 years ago