Polly Cracker, Revisited

DMCA

Polly Cracker, Revisited (2011)

Cached

Download Links

by Martin R. Albrecht , Pooya Farshim , Jean-charles Faugère , Ludovic Perret

Citations:

2 - 2 self

BibTeX

@MISC{Albrecht11pollycracker,,
    author = {Martin R. Albrecht and Pooya Farshim and Jean-charles Faugère and Ludovic Perret},
    title = {Polly Cracker, Revisited },
    year = {2011}
}

OpenURL

Abstract

In this work, we initiate the formal treatment of cryptographic constructions (“Polly Cracker”) based on the hardness of computing remainders modulo an ideal. We start by formalising and studying 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 under the hardness of the IR problem. 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 related problems. These problems can be seen as natural generalisations of the LWE problem and the approximate GCD problem over polynomial rings. After formalising and justifying the hardness of the noisy assumptions we show that noisy encoding of messages results in a fully IND-CPA secure somewhat homomorphic encryption scheme. Together with a standard symmetric-toasymmetric transformation for additively homomorphic schemes, we provide a positive answer to the long standing open problem of constructing a secure Polly Cracker-style cryptosystem reducible to the hardness of solving a random system of equations. Indeed, our results go beyond that by also providing 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.

Keyphrases

polly cracker homomorphic encryption scheme noisy assumption random system symmetric polly cracker encryption scheme standard symmetric-toasymmetric transformation large class negative side long standing open problem lwe problem positive answer ideal remainder problem negative result algebraic transformation appropriate choice natural generalisation lwe-based public-key encryption scheme noisy variant approximate gcd problem secure polly cracker-style cryptosystem cpa security message result hard problem homomorphic scheme gr bner basis polynomial ring formal treatment cryptographic construction ind-cpa secure secure polly cracker-style scheme noisy encoding positive side ir problem new family

DMCA