11.07.2014 Views

Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...

Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...

Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

119 7.2 Finding Smooth Integers in a Short Interval<br />

Let us denote the n-th prime by p n , e.g., p 1 = 2,p 2 = 3 and so on. Suppose<br />

we want to find a strongly B smooth integer N in the interval [U,V]. Now let us<br />

present our main result <strong>of</strong> this section.<br />

Theorem 7.5. Let S = ∏ n<br />

i=1 pa i<br />

i where a i = ⌊ logB<br />

logp i<br />

⌋ and p 1 ,...,p n are all distinct<br />

primes not exceeding B. Let I = [U,V]. One can find all strongly B smooth<br />

integers N ∈ I for which gcd(N,S) > d in poly(logS) time when |I| < 2d logd<br />

logS and<br />

V < 2d.<br />

Pro<strong>of</strong>. Wewilltryt<strong>of</strong>indN suchthatgcd(N,S) > d. Letustaketakea 0 = ⌊ U+V<br />

2<br />

⌋.<br />

We consider a 0 as an approximation <strong>of</strong> N. Thus we will try to find the GCD <strong>of</strong><br />

S,N, by knowing S exactly and some approximation <strong>of</strong> N, which is a 0 (but N is<br />

notknown). Herewefollowtheidea<strong>of</strong>solvingthePartiallyApproximateCommon<br />

Divisor Problem (PACDP) as explained in [61].<br />

Let x 0 = N − a 0 . We want to calculate x 0 from a 0 ,S. Assume X = d β is<br />

an upper bound <strong>of</strong> x 0 . Let S = d δ . Using the same approach as in the pro<strong>of</strong> <strong>of</strong><br />

Theorem 7.10, we get the condition as<br />

(m+t)(m+t+1)<br />

2<br />

β + m(m+1) δ < m(m+t+1). (7.6)<br />

2<br />

Let t = τm. Then neglecting the terms <strong>of</strong> o(m 2 ) we can rewrite (7.6) as<br />

β<br />

2 τ2 +(β −1)τ + β 2 + δ −1 < 0. (7.7)<br />

2<br />

Now, the optimal value <strong>of</strong> τ to minimize the left hand side <strong>of</strong> (7.7) is 1−β . Putting β<br />

this optimal value in (7.7), we get β < 1 logS<br />

. Now δ = . So x δ logd 0 should be less than<br />

d logd<br />

logS .<br />

Thus, we get x 0 and hence N in poly(logS) time. As, V < 2d, we have N < 2d<br />

(since U ≤ N ≤ V). When gcd(N,S) > d, then gcd(N,S) = N as N < 2d. Hence<br />

N divides S, i.e., N is strongly B smooth.<br />

Our strategy exploits the solution <strong>of</strong> Partially Approximate Common Divisor<br />

Problem (PACDP) presented in [61]. That, all such strongly B smooth numbers<br />

will be available, follows from [61, Algorithm 12, Page 53] as in that case all the<br />

common divisors are reported.<br />

Asymptotically, our result is 8 times better than that <strong>of</strong> [12, Theorem 3.1],

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!