PP-FM / ppsatLinks
code for privacy-preserving sat solver
☆17Updated 2 years ago
Alternatives and similar repositories for ppsat
Users that are interested in ppsat are comparing it to the libraries listed below
Sorting:
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆83Updated 2 years ago
- Number Theoretic Transform Implementation on GPU for FHE Applications☆44Updated 5 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆128Updated 2 years ago
- Homomorphic Logistic Regression on Encrypted Data☆51Updated 6 years ago
- An Implementation of the Number Theoretic Transform☆51Updated 2 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆17Updated 4 years ago
- ANT-ACE: Advanced Compiler Ecosystem for Fully Homomorphic Encryption and Domain Specific Computing☆52Updated 3 weeks ago
- ☆10Updated 5 years ago
- This is code for homomorphic encryption scheme "a Full RNS variant of HEAAN"☆60Updated 7 years ago
- ☆41Updated last year
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆79Updated last year
- Intel Homomorphic Encryption Acceleration Library for FPGAs, including open source implementation of FPGA kernels for accelerating NTT, I…☆108Updated 3 years ago
- An easy-to-use tensor compiler for FHE☆31Updated 11 months ago
- Cheddar: A Swift Fully Homomorphic Encryption (FHE) GPU Library☆44Updated 3 weeks ago
- Repo for code developed during the HEAT project (Homomorphic Encryption Applications Technology)☆65Updated 5 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…☆26Updated 6 years ago
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆18Updated 7 months ago
- ☆22Updated 3 years ago
- A reading list for homomorphic encryption☆134Updated 2 months ago
- Fast Privacy-Preserving Machine Learning on the GPU☆89Updated 4 years ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Updated 4 months ago
- Scripts to generate data for security parameters constraints section☆17Updated last year
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆40Updated 10 months ago
- Path ORAM reference implementation☆35Updated 5 years ago
- Python-based Oblivious RAM☆29Updated 6 years ago
- Piranha: A GPU Platform for Secure Computation☆104Updated 2 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆78Updated last year
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆46Updated 2 years ago
- ☆45Updated last year
- ☆14Updated 3 years ago