#
8000
Showing results
Starred repositories
Formally Verified Arguments of Knowledge in Lean
A tool for use with clang to analyze #includes in C and C++ source files
A tookit for Identifying-Ideal-Lattice
ANT-ACE: Advanced Compiler Ecosystem for Fully Homomorphic Encryption and Domain Specific Computing
A repository for code used in the paper "On the precision loss in approximate homomorphic encryption"
OpenFHE-Based Examples of Logistic Regression Training using Nesterov Accelerated Gradient Descent
Intel:registered: Homomorphic Encryption Acceleration Library accelerates modular arithmetic operations used in homomorphic encryption
Module-Lattice-based Digital Signature Standard Standard by NIST i.e. FIPS 204
OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/