Applied Cryptography

Integrity Protection Challenges for Real-World FHE
Poster presentation and lightning talks
Sep 1, 2022 5th Homomorphic Encryption Standards Meeting in Geneva 🇨🇭 | Intel Crypto Frontiers Research Center Workshop in Portland 🇺🇸
Christian Knabenhans
PDF
Veritas - Verifiable Encodings for Secure Homomorphic Analytics
In the Veritas project, we investigated verifiable encodings for secure homomorphic analytics, i.e., cryptographic authenticators to guarantee the correctness of privacy-preserving computations performed using fully homomorphic encryption (FHE). Concretely, I fully implemented our two main approaches and variants thereof on top of the Lattigo FHE library.