magicicada / cpLinks
☆23Updated 2 months ago
Alternatives and similar repositories for cp
Users that are interested in cp are comparing it to the libraries listed below
Sorting:
- ☆24Updated 4 years ago
- ☆309Updated 3 months ago
- Browser extension for VVZ (ETHZ)☆13Updated 2 months ago
- Concrete: TFHE Compiler that converts python programs into FHE equivalent☆1,539Updated last month
- EasyCrypt: Computer-Aided Cryptographic Proofs☆381Updated this week
- A toolkit for SAT-based prototyping in Python☆444Updated last week
- The implementation of FOLD-R++ algorithm☆17Updated 2 years ago
- A Modern Probabilistic Model Checker☆160Updated last week
- Formally Verified Arguments of Knowledge in Lean☆150Updated this week
- A Python script to create cactus and scatter plots based on matplotlib☆27Updated 4 years ago
- SampCert : Verified Differential Privacy☆89Updated 9 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆505Updated this week
- MPyC: Multiparty Computation in Python☆412Updated last month
- Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditi…☆1,401Updated 2 weeks ago
- A compiler for homomorphic encryption☆674Updated last week
- Nova: High-speed recursive zero-knowledge arguments from folding schemes☆817Updated this week
- Lean coding problem solving challenge website with proof verification☆12Updated 6 months ago
- Verifying the SCION architecture using Gobra☆11Updated last week
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆187Updated 4 months ago
- the fibonacci only you would give me☆16Updated 6 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Versatile framework for multi-party computation on the web. Based on the implementation of MP-SPDZ.☆15Updated 5 months ago
- LaTeX package to Do The Right Thing☆13Updated 4 years ago
- ✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources☆1,233Updated 10 months ago
- CAV'22 paper to speed up Neural Network Verification.☆13Updated 3 years ago
- Public Repo for Software Security Course@IST☆21Updated 7 years ago
- Neural Network Enumeration Tool☆34Updated 3 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆247Updated 10 months ago
- An attempt at a new LWE estimator☆340Updated 3 weeks ago
- A Framework for Deep Neural Network Verification☆57Updated last year