schoppmp / oblivc-rust
Rust wrapper for Obliv-C
☆11Updated 6 years ago
Alternatives and similar repositories for oblivc-rust:
Users that are interested in oblivc-rust are comparing it to the libraries listed below
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Experiments with Universal Composability in EasyCrypt☆33Updated last week
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- ☆178Updated 3 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆82Updated 6 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 10 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- ☆30Updated last year
- A C++ implementation of the DUPLO cryptographic protocol☆22Updated 7 years ago
- A Flexible Efficient Secure Computation Backend☆33Updated 6 years ago
- CryptoBib Database for Developers☆44Updated 3 weeks ago
- The garbled circuit backend for the ObliVM framework☆17Updated 9 years ago
- Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…☆46Updated 7 years ago
- CryptoBib Main Repository for Developers☆19Updated 8 months ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Batch Dual Execution framework for secure multiparty computation☆17Updated 7 years ago
- Examples for EasyCrypt Lectures☆24Updated 2 months ago
- A suite of rust libraries for secure multi-party computation☆304Updated 2 weeks ago
- INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/☆79Updated 4 years ago
- Crypto library☆58Updated 2 weeks ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Verification working group☆104Updated 6 years ago
- ☆35Updated 8 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago