Lighter is better: a lighter multi-client verifiable outsourced computation with hybrid homomorphic encryption

DOI10.1007/978-3-031-17146-8_6zbMath1524.68049OpenAlexW4296962567MaRDI QIDQ6109434

Kaitai Liang, Zhen Fu Cao, Xingkai Wang, Zhen Liu

Publication date: 28 July 2023

Published in: Computer Security – ESORICS 2022 (Search for Journal in Brave)

Full work available at URL: https://zenodo.org/record/7844646

zbMATH Keywords

verifiable computationoutsourced computationhybrid homomorphic encryption

Mathematics Subject Classification ID

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

Cites Work

• Rasta: a cipher with low ANDdepth and few ANDs per bit
• Boosting verifiable computation on encrypted data
• Flexible and efficient verifiable computation on encrypted data
• TFHE: fast fully homomorphic encryption over the torus
• Fully Homomorphic Message Authenticators
• Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
• Multi-Client Non-interactive Verifiable Computation
• Practical Homomorphic MACs for Arithmetic Circuits
• Fully homomorphic encryption using ideal lattices
• Multi-Client Verifiable Computation with Stronger Security Guarantees
• Multi-input Functional Encryption
• Reusable garbled circuits and succinct functional encryption
• Chosen-Ciphertext Secure Fully Homomorphic Encryption

This page was built for publication: Lighter is better: a lighter multi-client verifiable outsourced computation with hybrid homomorphic encryption