Sign in

Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.

Jeremy CasasZhenkun YangWen WangJin YangAdwait Godbole
Published in: DAC (2023)
Keyphrases
  • homomorphic encryption
  • privacy preserving
  • database
  • databases
  • digital libraries
  • data sharing