Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.

Jeremy Casas Zhenkun Yang Wen Wang Jin Yang Adwait Godbole

Published in: DAC (2023)

Keyphrases

homomorphic encryption
privacy preserving
database
databases
digital libraries
data sharing