PP-FM / ppsat
code for privacy-preserving sat solver
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ppsat
- ☆10Updated 4 years ago
- ☆18Updated 7 months ago
- Path ORAM reference implementation☆23Updated 4 years ago
- Number Theoretic Transform Implementation on GPU for FHE Applications☆36Updated 3 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆38Updated last year
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆74Updated last year
- Team CEA-EPFL-Inpher: code for the iDash 2018 competition☆21Updated 6 years ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 4 years ago
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆69Updated 3 months ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆73Updated 5 months ago
- Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…☆17Updated 5 years ago
- ☆39Updated 7 months ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆76Updated 2 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆14Updated 3 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆120Updated last year
- Homomorphic comparison in leveled homomorphic encryption and its applications☆36Updated 3 years ago
- ☆15Updated 2 years ago
- ☆31Updated 3 months ago
- ☆25Updated last year
- An Implementation of the Number Theoretic Transform☆37Updated last year
- This is code for homomorphic encryption scheme "a Full RNS variant of HEAAN"☆49Updated 6 years ago
- Library implementing the Fan-Vercauteren homomorphic encryption scheme☆59Updated 8 years ago
- ☆104Updated 2 years ago
- Homomorphic matrix computation☆40Updated 5 years ago
- ☆178Updated 3 years ago
- A library for lattice-based homomorphic encryption in Go☆12Updated 2 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆17Updated 2 years ago
- ☆208Updated last month
- ☆14Updated 2 years ago
- Private AI Bootcamp was hosted by Microsoft in Redmond, WA on Dec 2nd-4th, 2019. This repository contains materials offered at the event,…☆33Updated 4 years ago