HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical
Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vázquez
Topics & Concepts
Computer scienceMathematical proofOracleRandom oracleComputationVerifiable secret sharingEncryptionTheoretical computer scienceAlgorithmArithmeticProgramming languageMathematicsOperating systemPublic-key cryptographyGeometrySet (abstract data type)Cryptography and Data SecurityCryptographic Implementations and SecurityPrivacy-Preserving Technologies in Data