applied-crypto-lab / picco
This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improvements.
☆11Updated this week
Alternatives and similar repositories for picco:
Users that are interested in picco are comparing it to the libraries listed below
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆72Updated 8 months ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆78Updated 2 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆74Updated 9 months ago
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- A partially Homomorphic C library.☆32Updated 7 years ago
- The garbled circuit backend for the ObliVM framework☆17Updated 9 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- Lattices in Cryptography (University of Michigan)☆82Updated 6 months ago
- Language for high-assurance and high-speed cryptography☆288Updated this week
- ☆35Updated 4 years ago
- Repository for the SCALE-MAMBA MPC system☆256Updated last year
- Crypto library☆57Updated 3 weeks ago
- ☆46Updated last week
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- A programming language to write bitsliced ciphers☆56Updated 6 months ago
- ☆24Updated 5 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆38Updated 3 months ago
- NTT-based Fast Lattice library☆169Updated 2 years ago
- ☆28Updated 5 years ago
- ☆152Updated last week
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆167Updated last year
- Semi-honest Two Party Computation Based on Garbled Circuits.☆77Updated 2 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆120Updated last year
- ☆178Updated 3 years ago
- ☆18Updated 2 months ago
- A Flexible Efficient Secure Computation Backend☆33Updated 6 years ago
- Oblivious transfer for multiparty computation☆37Updated 5 years ago