PP-FM / ppsatLinks
code for privacy-preserving sat solver
☆17Updated last year
Alternatives and similar repositories for ppsat
Users that are interested in ppsat are comparing it to the libraries listed below
Sorting:
- ☆19Updated 5 months ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆78Updated 2 years ago
- ☆10Updated 5 years ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Updated 11 months ago
- Number Theoretic Transform Implementation on GPU for FHE Applications☆41Updated 4 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆17Updated 4 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- An Implementation of the Number Theoretic Transform☆48Updated last year
- Path ORAM reference implementation☆29Updated 4 years ago
- Team CEA-EPFL-Inpher: code for the iDash 2018 competition☆22Updated 6 years ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆28Updated 4 years ago
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆74Updated 11 months ago
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆16Updated 2 weeks ago
- This is code for homomorphic encryption scheme "a Full RNS variant of HEAAN"☆52Updated 6 years ago
- Fast Privacy-Preserving Machine Learning on the GPU☆84Updated 4 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆121Updated last year
- ☆42Updated 7 months ago
- Scripts to generate data for security parameters constraints section☆13Updated 6 months ago
- ☆105Updated 3 years ago
- ☆31Updated last year
- A two-party secure function evaluation using Yao's garbled circuit protocol☆76Updated last year
- ☆19Updated 3 years ago
- ☆67Updated 6 years ago
- ☆35Updated 10 months ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 2 years ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Updated 4 years ago
- Homomorphic Logistic Regression on Encrypted Data☆47Updated 6 years ago
- Python implementation of the Fully Homomorphic Encryption Scheme TFHE☆16Updated 2 years ago
- Piranha: A GPU Platform for Secure Computation☆95Updated 2 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 4 years ago