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
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆27Updated 3 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 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
• amenonsen / tappet
  ☆30Updated 2 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 5 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆29Updated 4 years ago
• LoupVaillant / elligator
  Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange
  ☆16Updated 2 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
• rongarret / tweetnacl
  ☆22Updated 7 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 4 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆17Updated 2 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆22Updated this week
• t1lang / t1lang.github.io
  T1 Main Web Site
  ☆14Updated 5 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• PlanetAPL / openAPL
  ☆21Updated 7 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆30Updated 6 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆18Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆37Updated 2 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago
• robertswiecki / extcd
  A stand-alone 'cd' binary for Linux/i386
  ☆25Updated 5 years ago