The Zama Cryptanalysis Grant Program supports research that challenges the security of today’s privacy-enhancing tech.
TKMS is built on top of a secure Multi-Party Computation (MPC) protocol that supports key management of virtually any FHE schemes.
IND-CPAD strengthens FHE security by addressing attacks exploiting decryption failures beyond standard IND-CPA protections.
A condensed version of our new work: “Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE’s Bootstrapping..."
A Solution to a16z Nakamoto Challenge on Compliant Programmable Privacy using Fully Homomorphic Encryption
An overview of two contributions aiming to make Fully Homomorphic Encryption (FHE) more efficient