Boosting Verifiable Computation on Encrypted Data
Dario Fiore, Anca Nitulescu, David Pointcheval
Topics & Concepts
Computer scienceHomomorphic encryptionVerifiable secret sharingCorrectnessTheoretical computer scienceEncryptionSecure multi-party computationComputationComputer securityAlgorithmProgramming languageSet (abstract data type)Cryptography and Data SecurityComplexity and Algorithms in GraphsPrivacy-Preserving Technologies in Data