Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...
Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...
Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 7: Approximate Integer Common Divisor Problem 122<br />
or (iii) some amount <strong>of</strong> MSBs and LSBs together. Because <strong>of</strong> this fact, the work<br />
<strong>of</strong> [86] (the LSB case) as well as that <strong>of</strong> [40] (the work for MSB case) are considered<br />
in the same framework. Further, the proposed technique takes care <strong>of</strong> the<br />
new case where the primes share some portion <strong>of</strong> MSBs and LSBs together. This<br />
work is <strong>of</strong> the same quality (in general) and slightly improved (in certain cases) in<br />
comparison to that <strong>of</strong> [40,86]. We generalize the ideas <strong>of</strong> [61] for the lattice based<br />
technique that we exploit here, and our strategy is different from that <strong>of</strong> [40,86]<br />
and our ideas in Chapter 6.<br />
Let us first describe the central idea <strong>of</strong> the link between EPACDP and implicit<br />
factorization on a small scale, and later we shall proceed to generalize the same.<br />
Consider the case with k = 2, where the primes p 1 ,p 2 share certain amount <strong>of</strong><br />
MSBs. One can write p 1 −p 2 = x 0 , where the bitsize <strong>of</strong> x 0 is smaller than that <strong>of</strong> p 1<br />
or p 2 . In terms <strong>of</strong> x 0 , one may write N 2 = p 2 q 2 = (p 1 −x 0 )q 2 . Therefore, we have<br />
gcd(N 1 ,N 2 + x 0 q 2 ) = gcd(p 1 q 1 ,p 1 q 2 ) = p 1 . Since N 2 is a known approximation<br />
<strong>of</strong> the unknown quantity N 2 + x 0 q 2 , we can use the technique <strong>of</strong> [61] to solve<br />
the approximate common divisor problem efficiently with a = N 1 (known) and<br />
b = N 2 + x 0 q 2 (unknown), and get gcd(a,b) = p 1 under certain conditions. It is<br />
very interesting that solving an approximate common divisor problem in this case<br />
gives the factorization <strong>of</strong> N 1 . Additionally, when p 1 > |x 0 q 2 |, then either ⌊ N 2<br />
p 1<br />
⌋ or<br />
⌈ N 2<br />
p 1<br />
⌉ will provide q 2 , thereby factorizing N 2 as well. In Section 7.4.1, we explain<br />
this idea in detail.<br />
Next we generalize the PACDP given in [61]. Let a 1 ,a 2 ,...,a k are integers<br />
with gcd(a 1 ,a 2 ,...,a k ) = g. Suppose ã 2 ,...,ã k are given as approximations to<br />
a 2 ,...,a k , respectively. The goal <strong>of</strong> the generalized version <strong>of</strong> PACDP is to find g<br />
from the knowledge <strong>of</strong> a 1 ,ã 2 ,...,ã k . An immediate application <strong>of</strong> this generalization<br />
towards the implicit factorization problem is as follows.<br />
We can write p 1 = p 1 + y 1 ,...,p k = p 1 + y k where y 1 = 0. Hence p 1 =<br />
gcd(N 1 ,N 2 − y 2 q 2 ,...,N k − y k q k ) can be derived by solving the general PACDP<br />
with a 1 = N 1 ,a 2 = N 2 − y 2 q 2 ,...,a k = N k − y k q k , where N 2 ,...,N k act as the<br />
approximations <strong>of</strong> a 2 ,...,a k respectively. As a consequence, we factor N 1 , and<br />
also obtain y 2 q 2 ,...,y k q k under certain conditions.<br />
In the case <strong>of</strong> implicit factorization problem, we will always get N 1 exactly,<br />
and the other terms N 2 −y 2 q 2 ,...,N k −y k q k can be approximated by N 2 ,...,N k<br />
respectively. Thus implicit factorization relates directly to EPACDP (and not to<br />
EGACDP) for any k ≥ 2.