(2015) Designs, Codes and Cryptography — Vol. 77, n° 2-3, p. 441-477 (2015)
Files
No attached file found for this publication.
Details
Authors
Libert, BenoîtEcole Normale Supérieure de Lyon, France
author
Peters, ThomasEcole Normale Supérieure Paris, France et UCL
author
Joye, MarcTechnicolor, Los Altos, USA
author
Yung, MotiGoogle Inc. et Columbia University, New York, USA
author
Abstract
Structure-preserving signatures (SPS) are signature schemes where messages, signatures and public keys all consist of elements of a group over which a bilinear map is efficiently computable. This property makes them useful in cryptographic protocols as they nicely compose with other algebraic tools (like the celebrated Groth–Sahai proof systems). In this paper, we consider SPS systems with homomorphic properties and suggest applications that have not been provided before (in particular, not by employing ordinary SPS). We build linearly homomorphic structure-preserving signatures under simple assumptions and show that the primitive makes it possible to verify the calculations performed by a server on outsourced encrypted data (i.e., combining secure computation and authenticated computation to allow reliable and secure cloud storage and computation, while freeing the client from retaining cleartext storage). Then, we give a generic construction of non-malleable (and actually simulation-sound) commitment from any linearly homomorphic SPS. This notably provides the first constant-size non-malleable commitment to group elements.
Libert, B., Peters, T., Joye, M., & Yung, M. (2015). Linearly homomorphic structure-preserving signatures and their applications. Designs, Codes and Cryptography, 77(2-3), 441-477. https://doi.org/10.1007/s10623-015-0079-1 (Original work published 2015)