mmastrac / oblivious-cpuLinks
A re-implementation of ShapeCPU
☆18Updated 3 years ago
Alternatives and similar repositories for oblivious-cpu
Users that are interested in oblivious-cpu are comparing it to the libraries listed below
Sorting:
- Implements an encryptable machine (shapeCPU Java)☆11Updated 10 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 10 years ago
- An Algebraic, Executable Ur Machine☆37Updated 6 years ago
- The Antikernel operating system project☆122Updated 5 years ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Bootstrap compiler☆44Updated 6 years ago
- The Mickey Mouse of dynamic linkers☆15Updated 2 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆30Updated 3 years ago
- Use a TPM to store a TOTP token in order to attest boot state to another device☆16Updated 2 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Updated 5 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- How fast can we brute force a 64-bit comparison?☆53Updated 5 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆53Updated 8 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Fully Homomorphic Brainfuck☆20Updated 7 years ago
- An alternative to Urbit☆94Updated 7 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆32Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆87Updated 7 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 5 years ago
- ☆20Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆19Updated 9 years ago
- Migrated to Codeberg☆18Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago