schoppmp / oblivc-rust
Rust wrapper for Obliv-C
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for oblivc-rust
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 4 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆48Updated 6 months ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆224Updated 3 years ago
- ☆13Updated 6 years ago
- Experiments with Universal Composability in EasyCrypt☆31Updated last week
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆39Updated 3 years ago
- Oblivious transfer for multiparty computation☆36Updated 4 years ago
- A Flexible Efficient Secure Computation Backend☆33Updated 6 years ago
- ☆35Updated 7 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- ☆178Updated 3 years ago
- A C++ implementation of the DUPLO cryptographic protocol☆22Updated 7 years ago
- SAW front end for the MIR language from rustc☆36Updated 3 years ago
- rust verification condition generator☆93Updated 8 years ago
- A foundational framework for modular cryptographic proofs in Coq☆56Updated last week
- DEciding Equivalence Properties in SECurity protocols☆17Updated last year
- A pure-Rust implementation of the Paillier encryption scheme☆81Updated 6 years ago
- Examples for EasyCrypt Lectures☆22Updated last month
- The garbled circuit backend for the ObliVM framework☆17Updated 8 years ago
- CryptoBib Database for Developers☆40Updated 3 weeks ago
- ☆28Updated 5 years ago
- Synthesis of Loop-free Programs in Rust☆64Updated 4 years ago
- ☆13Updated 3 years ago
- ☆41Updated this week
- Coq library for tactics, basic definitions, sets, maps☆41Updated last month
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆13Updated 7 years ago
- XPIR: Private Information Retrieval for Everyone☆115Updated 3 years ago
- Global-Scale Secure Multiparty Computation☆40Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago