applied-crypto-lab / piccoLinks
This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improvements.
☆12Updated 2 months ago
Alternatives and similar repositories for picco
Users that are interested in picco are comparing it to the libraries listed below
Sorting:
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Language for high-assurance and high-speed cryptography☆328Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆64Updated 8 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 6 years ago
- An attempt at a new LWE estimator☆340Updated 3 weeks ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆52Updated last year
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆43Updated 5 years ago
- NTT-based Fast Lattice library☆179Updated 3 years ago
- Repository for the SCALE-MAMBA MPC system☆264Updated 2 years ago
- ☆54Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Cryptographic protocol analysis for real-world protocols.☆67Updated last month
- A partially Homomorphic C library.☆33Updated 8 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆54Updated 2 years ago
- spqlios arithmetic library for FHE and post-quantum crypto☆26Updated 2 months ago
- ☆23Updated 7 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆311Updated 2 weeks ago
- CryptoBib BibTex files☆62Updated 2 weeks ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆148Updated this week
- Examples for EasyCrypt Lectures☆27Updated last week
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆83Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆112Updated this week
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆128Updated 2 years ago
- Crypto library☆67Updated 2 months ago
- Intel Homomorphic Encryption Acceleration Library accelerates modular arithmetic operations used in homomorphic encryption by leveraging …☆253Updated 6 months ago
- Global-Scale Secure Multiparty Computation☆50Updated 2 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆103Updated 2 months ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Compiler for the SEAL homomorphic encryption library☆257Updated last year