mmastrac / oblivious-cpu

Related projects ⓘ

Alternatives and complementary repositories for oblivious-cpu

• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• joeltg / brainfreeze
  Fully Homomorphic Brainfuck
  ☆19Updated 6 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• t1lang / t1lang.github.io
  T1 Main Web Site
  ☆14Updated 5 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆27Updated 2 months ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆37Updated 2 years ago
• jcushman / libgfshare
  Fork of http://www.digital-scurf.org/software/libgfshare
  ☆12Updated 9 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• stribika / dakarand
  Dan Kaminsky's clock drift entropy generator
  ☆6Updated 9 years ago
• jeremycw / tetris-verilog
  Verilog Tetris
  ☆14Updated 9 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 7 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆12Updated 5 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 4 years ago
• attresearch / yakker
  ☆22Updated 12 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆21Updated last week
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 9 years ago
• dbunker / SABR
  Spatial and Action Based Resolver
  ☆13Updated 5 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago
• maximk / zergling
  A instance-per-page demo
  ☆56Updated 9 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• joostrijneveld / SPHINCS-256-py
  A Python implementation of the SPHINCS-256 scheme
  ☆14Updated 8 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆43Updated 3 years ago