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 2 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☆26Updated 4 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆16Updated 4 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆120Updated last year
- Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware☆164Updated 2 years ago
- A unified testbed for evaluating different Oblivious RAM☆59Updated last year
- ☆17Updated 2 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆74Updated 9 months ago
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆14Updated last year
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 4 years ago
- ☆17Updated 2 years ago
- ☆40Updated 4 months ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Updated 8 months ago
- Open-source library for ORAM implementations☆11Updated 4 years ago
- ExitLess services for SGX enclaves☆33Updated 5 years ago
- An Implementation of the Number Theoretic Transform☆44Updated last year
- Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…☆19Updated 6 years ago
- Number Theoretic Transform Implementation on GPU for FHE Applications☆39Updated 4 years ago
- Scripts to generate data for security parameters constraints section☆12Updated 3 months ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆77Updated 2 years ago
- Python-based Oblivious RAM☆29Updated 5 years ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Updated 4 years ago
- Low-TCB Linux Applications with SGX Enclaves☆36Updated 5 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆18Updated 2 years ago
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆73Updated 8 months ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Updated last year
- 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