Alexander Viand's repositories
z3-fhe-experiments
Experiments in using Z3 to check common FHE transformations
confidential-computing-zoo
Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.
Language:CMakeApache-2.0000
heir
Standard MLIR dialects for homomorphic encryption
Language:C++Apache-2.0000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVMNOASSERTION000