PP-FM / ppsat
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
- ☆18Updated 3 months ago
- ☆10Updated 5 years ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆78Updated 2 years ago
- Path ORAM reference implementation☆27Updated 4 years ago
- An Implementation of the Number Theoretic Transform☆44Updated last year
- Number Theoretic Transform Implementation on GPU for FHE Applications☆39Updated 4 years 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…☆21Updated 6 years ago
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆72Updated 9 months ago
- Piranha: A GPU Platform for Secure Computation☆95Updated 2 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆74Updated 10 months ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 4 years ago
- ☆18Updated 2 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆16Updated 4 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆44Updated last year
- ☆35Updated 8 months ago
- ☆178Updated 3 years ago
- Intel Homomorphic Encryption Acceleration Library for FPGAs, including open source implementation of FPGA kernels for accelerating NTT, I…☆100Updated 2 years ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Updated 9 months ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Updated 4 years ago
- Team CEA-EPFL-Inpher: code for the iDash 2018 competition☆22Updated 6 years ago
- ☆67Updated 6 years ago
- A reading list for homomorphic encryption☆121Updated 8 months ago
- ☆104Updated 3 years ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 2 years ago
- This is code for homomorphic encryption scheme "a Full RNS variant of HEAAN"☆51Updated 6 years ago
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆15Updated last year
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆120Updated last year
- Fast Privacy-Preserving Machine Learning on the GPU☆82Updated 3 years ago
- A cross compiler and standardized benchmarks for fully homomorphic encryption☆38Updated last year
- ☆30Updated last year