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:
- Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…☆22Updated 6 years ago
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆75Updated 11 months ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆80Updated 2 years ago
- ☆20Updated 2 years ago
- Number Theoretic Transform Implementation on GPU for FHE Applications☆42Updated 4 years ago
- ANT-ACE: Advanced Compiler Ecosystem for Fully Homomorphic Encryption and Domain Specific Computing☆36Updated this week
- An Implementation of the Number Theoretic Transform☆48Updated last year
- Intel Homomorphic Encryption Acceleration Library for FPGAs, including open source implementation of FPGA kernels for accelerating NTT, I…☆104Updated 2 years ago
- The Intel Homomorphic Encryption (HE) toolkit is the primordial vehicle for the continuous distribution of the Intel HE technological in…☆120Updated 2 months ago
- Python-based Oblivious RAM☆29Updated 5 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆17Updated 4 years ago
- Homomorphic Logistic Regression on Encrypted Data☆47Updated 6 years ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Updated this week
- Path ORAM reference implementation☆29Updated 4 years ago
- ☆35Updated 11 months ago
- ☆10Updated 5 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆122Updated last year
- ☆13Updated 7 years ago
- An easy-to-use tensor compiler for FHE☆14Updated 5 months ago
- Scripts to generate data for security parameters constraints section☆14Updated 7 months ago
- A reading list for homomorphic encryption☆126Updated 11 months ago
- ☆36Updated 10 months ago
- Compiler for the SEAL homomorphic encryption library☆244Updated last year
- Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware☆165Updated 2 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆76Updated last year
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆28Updated 5 years ago
- SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'☆19Updated 3 years ago
- ☆50Updated this week
- A unified testbed for evaluating different Oblivious RAM☆59Updated 2 years ago
- Python implementation of the Fully Homomorphic Encryption Scheme TFHE☆16Updated 2 years ago