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
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 3 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 10 months ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Examples for EasyCrypt Lectures☆24Updated last month
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- ☆30Updated 11 months ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- ☆178Updated 3 years ago
- ☆35Updated 7 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- CryptoBib Database for Developers☆43Updated last month
- Crypto library☆55Updated last month
- A pure-Rust implementation of the Paillier encryption scheme☆82Updated 6 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 8 months ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- C implementation of the CLT13 multilinear map☆14Updated 6 years ago
- A Flexible Efficient Secure Computation Backend☆33Updated 6 years ago
- Verification working group☆104Updated 6 years ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- Prototype of a system for metadata-hiding communication for whistleblowers☆20Updated 5 years ago
- [INACTIVE] const-time Rust experiment☆98Updated 9 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- Optimized implementation of the Picnic signature scheme☆80Updated 2 years ago
- Experiments in homomorphic encryption☆31Updated 9 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Updated 7 years ago