Verifiable computation on outsourced encrypted data

DOI10.1007/978-3-319-11203-9_16MaRDI QIDQ5264266zbMATH OpenOpenAlexFDO

Authors Junzuo Lai, Robert H. Deng, HweeHwa Pang, Jian Weng

Publication date 24 July 2015

Published in Computer Security - ESORICS 2014 (Search for Journal in Brave)

Full work available at URL https://ink.library.smu.edu.sg/sis_research/2253

zbMATH Keywords

cloud computingoutsourced encrypted dataverifiable homomorphic encryption

Mathematics Subject Classification ID

Internet topics (68M11) Computer security (68M25) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Delegatable homomorphic encryption with applications to secure outsourcing of computation
• Achieving privacy in verifiable computation with multiple servers -- without FHE and without pre-processing
• Linearly homomorphic authenticated encryption with provable correctness and public verifiability
• Flexible and efficient verifiable computation on encrypted data
• Context hiding multi-key linearly homomorphic authenticators

Cited in

(14)

• Formal treatment of verifiable privacy-preserving data-aggregation protocols
• Cryptanalysis of Tran-Pang-Deng verifiable homomorphic encryption
• Trusted computing with addition machines. II
• Flexible and efficient verifiable computation on encrypted data
• Context hiding multi-key linearly homomorphic authenticators
• Delegatable homomorphic encryption with applications to secure outsourcing of computation
• Computing on Authenticated Data
• Efficient computation outsourcing for inverting a class of homomorphic functions
• Achieving privacy in verifiable computation with multiple servers -- without FHE and without pre-processing
• Linearly homomorphic authenticated encryption with provable correctness and public verifiability
• Homomorphic proxy re-authenticators and applications to verifiable multi-user data aggregation
• Verifiable Decryption for Fully Homomorphic Encryption
• CHQS: Publicly Verifiable Homomorphic Signatures Beyond the Linear Case
• Sum it up: verifiable additive homomorphic secret sharing

This page was built for publication: Verifiable computation on outsourced encrypted data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5264266)