Skip to Main content Skip to Navigation
Conference papers

Polly Cracker, Revisited

Abstract : We initiate the formal treatment of cryptographic constructions (“Polly Cracker”) based on the hardness of computing remainders modulo an ideal over multivariate polynomial rings. We start by formalising the relation between the ideal remainder problem and the problem of computing a Gröbner basis. We show both positive and negative results. On the negative side, we define a symmetric Polly Cracker encryption scheme and prove that this scheme only achieves bounded CPA security. Furthermore, we show that a large class of algebraic transformations cannot convert this scheme to a fully secure Polly-Cracker-style scheme. On the positive side, we formalise noisy variants of the ideal membership, ideal remainder, and Gröbner basis problems. These problems can be seen as natural generalisations of the LWE problem and the approximate GCD problem over polynomial rings. We then show that noisy encoding of messages results in a fully IND-CPA-secure somewhat homomorphic encryption scheme. Our results provide a new family of somewhat homomorphic encryption schemes based on new, but natural, hard problems. Our results also imply that Regev’s LWE-based public-key encryption scheme is (somewhat) multiplicatively homomorphic for appropriate choices of parameters.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01113718
Contributor : Ludovic Perret <>
Submitted on : Friday, February 6, 2015 - 10:46:35 AM
Last modification on : Friday, January 8, 2021 - 5:50:04 PM

Links full text

Identifiers

Citation

Martin Albrecht, Jean-Charles Faugère, Pooya Farshim, Ludovic Perret. Polly Cracker, Revisited. ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2011, Seoul, South Korea. pp.179-196, ⟨10.1007/978-3-642-25385-0_10⟩. ⟨hal-01113718⟩

Share

Metrics

Record views

283