Alternatives and similar repositories for oblivious-cpu

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

• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 10 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 7 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆89Updated 7 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆29Updated 6 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 6 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated 2 months ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• joeltg / brainfreeze
  Fully Homomorphic Brainfuck
  ☆21Updated 7 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 4 years ago
• amenonsen / tappet
  ☆30Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆31Updated last year
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆59Updated 8 years ago
• osresearch / tpmtotp
  Use a TPM to store a TOTP token in order to attest boot state to another device
  ☆16Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 5 years ago
• pornin / curve9767
  ☆82Updated 5 years ago
• q3k / qfc
  Migrated to Codeberg
  ☆18Updated 3 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆78Updated 5 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 8 years ago
• jedisct1 / libsodium-signcryption
  Signcryption using libsodium.
  ☆68Updated last month
• jjyr / jonesforth_riscv
  Jonesforth RISC-V port.
  ☆62Updated 5 years ago
• tuxxy / hazmat-math
  Hazmat ECC arithmetic for Cryptography.io
  ☆28Updated 5 years ago
• QubesOS / qubes-core-qrexec
  ☆14Updated last month
• FeepingCreature / jsfarm
  Turn idle browsers into a compute farm.
  ☆20Updated 8 years ago
• veorq / BLAKE
  SHA-3 finalist (reference code)
  ☆41Updated 11 years ago