The present disclosure relates generally to cryptography, and in particular to a cryptosystem based on the Goldwasser-Micali cryptosystem.
This section is intended to introduce the reader to various aspects of art, which may be related to various aspects of the present disclosure that are described and/or claimed below. This discussion is believed to be helpful in providing the reader with background information to facilitate a better understanding of the various aspects of the present disclosure. Accordingly, it should be understood that these statements are to be read in this light, and not as admissions of prior art.
The Goldwasser-Micali (GM) cryptosystem is a well-known public key cryptosystem that encrypts one bit of the plaintext at a time; put another way, the message space is {0,1}k, with k=1.
At EUROCRYPT 2013, Joye and Libert presented a generalized GM cryptosystem in which k bits are encrypted at a time, i.e. the message space is {0,1}k, with k≧1 [see Marc Joye and Benoit Libert. Efficient cryptosystems from 2k-th power residue symbols. In T. Johansson and P. Nguyen, editors, Advances in Cryptology—EUROCRYPT 2013, volume 7881 of Lecture Notes in Computer Science, pages 76-92. Springer, 2013.]. As in GM, the generalized scheme uses a composite N=pq where p and q are prime, and p,q≡1 (mod 2k). In addition, y∈N\N and the public key is pk={N,y,k} while the private key is sk={p,k}.
Given a plaintext message m=Σi=0k−12i with mi∈{0,1}, the corresponding ciphertext c is formed as c=ymx2
where
denotes the 2k-th power residue symbol of y modulo p, defined as
mods p. (It is noted that a mods p represents the absolute smallest residue of a modulo p, namely, the complete set of absolute smallest residues are: −(p−1)/2, . . . , −1, 0, 1, . . . , (p−1)/2). Doing so 2nd power residue symbol (i.e., when k=1) boils down to the classical Legendre symbol.) Solving Eq. (1) can be carried out with a variation of the Poligh-Hellman algorithm; see section 3.2 of the previously mentioned article.
The generalized GM cryptosystem as described in the previously mentioned article meets the standard security notion of semantic security under the quadratic residuosity assumption and the squared Jacobi symbol assumption [see the article with the same name by the same authors published in the Cryptology ePrint Archive as Report 2013/435].
In order to facilitate comprehension, the following notation is introduced. As already mentioned, let N=pq be the product of two (odd) primes p and q. The set of integers whose Jacobi symbol is 1 is denoted by N,
the set of quadratic residues is denoted by N,
and the set of integers whose Jacobi symbol is −1 is denoted by N,
It is to be noted that N is a subset of N.
Definition 1 (Quadratic Residuosity Assumption).
Let RSAGen be a probabilistic algorithm that, given a security parameter κ, outputs primes p and q such that p, g≡1 (mod 2k), and their product N=pq. The Quadratic Residuosity (k−QR) assumption asserts that the function AdvDk−QR(1k), defined as the distance
is negligible for any probabilistic polynomial-time distinguisher ; the probabilities are taken over the experiment of running (N,p,q)←RSAGen(1κ) and choosing at random x∈N and x∈N\N.
Definition 2 (Squared Jacobi Symbol Assumption).
Let RSAGen be a probabilistic algorithm that, given a security parameter κ, outputs primes p and g such that p, q≡1 (mod 2k), and their product N=pq. The Squared Jacobi Symbol (k−SJS) assumption asserts that the function AdvDk−SJS(1κ), defined as the distance
is negligible for any probabilistic polynomial-time distinguisher ; the probabilities are taken over the experiment of running (N,p,q)←RSAGen (1κ) and choosing at random y∈N and N.
The case k=1 corresponds to the GM cryptosystem which has indistinguishable encryptions (semantic security) solely under the standard Quadratic Residuosity assumption.
It is also noted that the generalized GM requires a special prime generation algorithms for the generation of p and q during key generation.
It will therefore be appreciated that it is desirable to provide a generalized GM cryptosystem whose semantic security solely relies on a quadratic residuosity assumption and in which the key generation is simplified.
The present disclosure provides such a generalized GM cryptosystem.
In a first aspect, the disclosure is directed to a method for generation of a cryptographic key. A device generates a first prime p≡1 (mod 2k), where k≧1 is an integer; generates a second prime q≡3 (mod 4) or q≡1 (mod 4), q≢1 (mod 2k); computes a modulus N that is a multiple of the product between the first prime p and the second prime q; picks an integer y∈N\N, where N is the set of integers whose Jacobi symbol is 1 and N is the set of quadratic residues; and outputs a public key pk={N,y,k}.
In a first embodiment, the device generates a private key sk={p,k}. It is advantageous that the device stores the private key sk.
In a second embodiment, the public key pk is for use in a cryptosystem in which a message m∈, where ={0,1}k, is encrypted by picking a random x∈N* and calculating a ciphertext c=ymx2
In a second aspect, the invention is directed to a cryptographic device comprising a processing unit configured to: generate a first prime p≡1 (mod 2k), where k≧1 is an integer; generate a second prime q≡3 (mod 4) or q≡1 (mod 4), q≢1 (mod 2k); compute a modulus N that is a multiple of the product between the first prime p and the second prime q; pick an integer y∈N\N, where N is the set of integers whose Jacobi symbol is 1 and N is the set of quadratic residues; and output a public key pk={N,y,k}.
In a first embodiment, the processing unit is further configured to generate a private key sk={p,k}. It is advantageous that the processing unit is configured to store the private key sk, preferably in a memory or in the processing unit.
In a second embodiment, the processing unit is configured to output the public key via a communication interface. It is advantageous that the processing unit is configured to use a communication protocol to output the public key via the communication interface.
In a third embodiment, the cryptographic device belongs to one of the group of: a mobile device, a communication device, a game device, a set top box, a TV set, a tablet, a laptop and a cryptographic chip.
In a fourth embodiment, the public key pk is for use in a cryptosystem in which a message m∈, where ={0,1}k, is encrypted by picking a random x∈N* and calculating a ciphertext c=ymx2
In a third aspect, the disclosure is directed to a computer program product storing instructions that, when executed by a processor, perform the method of the first aspect.
Preferred features of the present disclosure will now be described, by way of non-limiting example, with reference to the accompanying drawings, in which:
It will be shown that, quite surprisingly, a small modification to the key generation procedure of the generalized GM cryptosystem enables its semantic security to rely solely on a quadratic residuosity assumption.
As already mentioned, the generalized GM cryptosystem defines primes p and q such that p,q≡1 (mod 2k). It is however observed that the decryption process only involves prime p.
This observation makes it possible to develop a new proof technique that allows to prove the semantic security when q≡3 (mod 4). Remarkably, the new security proof (presented hereafter for completeness) solely assumes the quadratic residuosity assumption for RSA moduli N=pq where p≡1 (mod 2k) and q≡3 (mod 4).
Furthermore, a close inspection of the security proof offered in the article published in the Cryptology ePrint Archive shows that the very same proof carries on when q≡1 (mod 4). The proof crucially requires that the square roots of a square in N* all have the same Jacobi symbol. This is readily satisfied when −1∈N, or equivalently when p,q≡1 (mod 4).
Security Analysis (q≡3 (Mod 4))
Let N=pq be the product of two primes p and q with p≡1 (mod 2k) for some k≧1. Let
and N={x2|x∈N*}. For 0≦i≦k, consider the subsets Di of N given by Di={y2
Let N=pq be the product of two large primes p and q where p≡1 (mod 2k) for some k≧1 and q≡3 (mod 4). Then, for any w∈N, letting W:=w2
Further, if w is uniform over N, then W is uniform over Dj with probability
for i≦j≦k−1 and W is uniform over Rk with probability
It is assumed that w is uniform over N.
The case i=k (which includes the case k=1) yields W=w2
It is henceforth supposed that i≦k−1 and k≧2. In particular, this implies p≡1 (mod 4) and thus
Denoting by (ŵp, ŵq) the CRT representation of a square root ŵ of w (i.e., ŵp=ŵ mod p and ŵq=w mod q), the four square roots of w modulo N are given by (±ŵp,±ŵq). Since
it can be assumed without loss of generality that
or equivalently that ŵ∈N. If ŵ∈N the process can be re-iterated, and so on. More generally, t is defined as the largest integer in {1, . . . , k−i} such that w=ŵ2
and the probability that W∈Rk is
For RSA moduli N=pq such that p≡1 (mod 2k) and q≡3 (mod 4), the Gap 2k-Residuosity assumption (defined in the previously mentioned paper published at EUROCRYPT) holds if the k QR assumption (see Definition 1) holds. More precisely, for any Probabilistic Polynolial Time (PPT) distinguisher against the latter, there exists a k−QR distinguisher with comparable running time and for which
[Here the k−QR assumption is defined for RSA moduli N=pq such that p≡1 (mod 2k) and q≡3 (mod 4).]
Let be an adversary against Gap−2k−Res running in time t. Write:
for i∈{0, . . . , k−1} and
The advantage of against Gap−2k−Res is:
(1κ)=|ε0−εk|.
First k distinguishers 1, . . . , k against k−QR are constructed as follows. i takes as input an RSA modulus N=pq, with p≡1 (mod 2k) and q≡3 (mod 4), and an element w∈N. Its task is to decide whether w is uniform over N\N or uniform over N. To this ends, i chooses a random element zN* . It then defines x=z2
with
for j∈{1, . . . , k−1} and
The following probability distribution over {1, . . . ,k} is considered:
An adversary B against k QR is defined as follows: B chooses a random i and feeds i with its k−QR challenge. The advantage of is:
For j∈{1, . . . , k−1},
and:
In addition:
Therefore, the advantage of is
which concludes the proof.
In more detail, the proposed encryption scheme of the preferred embodiment is the tuple (KeyGen, Encrypt, Decrypt) defined as follows:
In more detail, the proposed encryption scheme of the second preferred embodiment is the tuple (KeyGen, Encrypt, Decrypt) defined as follows:
It is noted that q≡1 (mod 2k) also means that q≡1 (mod 4), but the present method can make it easier to generate q since there are more possibilities. A variant excludes q≡1 (mod 2k).
In a variant, the modulus N is equal to a integer multiple of the product of the primes p, q.
According to specific embodiments, the interface 111, 121 is can be a wireline interface (for example a bus interface such as USB (Universal Serial Bus)) or a wireless interface (such as a IEEE 802.11 interface, WiFi® or a Bluetooth® interface); the interface can be a wide area network interface, a local area network interface or a HDMI (High Definition Multimedia Interface) interface.
According to different embodiments, the cryptographic device 110, 120 uses a communication protocol such as HTTP, IP, or FLUTE to transmit the public key.
According to different embodiments, the cryptographic device 110, 120 stores the private key in a memory, such as a random access memory (RAM) or in the processing unit 112, 122.
According to different embodiments, the cryptographic device 110, 120 belongs to a set comprising:
A advantage of the first preferred embodiment, i.e., when q≡3 (mod 4)) is security. The notion of semantic security is already met under a quadratic residuosity assumption. In particular, the squared Jacobi symbol assumption is not necessary.
A second advantage of the first preferred embodiment (and also the second, i.e., when q≡1 (mod 4)) is a simplified key generation process. Only prime p requires a specialized prime generation algorithm as the one described by Joye and Paillier [see Marc Joye and Pascal Paillier. Fast generation of prime numbers on portable devices: An update. In L. Goubin and M. Matsui, editors, Cryptographic Hardware and Embedded Systems—CHES 2006, volume 4249 of Lecture Notes in Computer Science, pages 160-173. Springer, 2006]. It is noted that a random (form-free) prime p is congruent to 3 (mod 4) with a probability of ½ (it is congruent to 1 (mod 4) otherwise). Form-free primes are much easier to generate than other primes.
Each feature disclosed in the description and (where appropriate) the claims and drawings may be provided independently or in any appropriate combination. Features described as being implemented in hardware may also be implemented in software, and vice versa. Reference numerals appearing in the claims are by way of illustration only and shall have no limiting effect on the scope of the claims.
Number | Date | Country | Kind |
---|---|---|---|
14306135.6 | Jul 2014 | EP | regional |
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/EP2015/065807 | 7/10/2015 | WO | 00 |