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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapter 6: Implicit <strong>Factorization</strong> 106<br />

s 1 =<br />

s j =<br />

m+1<br />

∑<br />

i 3<br />

∑<br />

i 3 =0 i 5 =0<br />

m+1<br />

∑∑i 3<br />

i 3 =0 i 5 =0<br />

m+1−i<br />

∑ 3<br />

i 4 =0<br />

m+1−i<br />

∑ 3<br />

i 4 =0<br />

m+1−i<br />

∑ 3<br />

i 2 =0<br />

m+1−i<br />

∑ 3<br />

i 2 =0<br />

(i 4 +i 5 )−<br />

i j −<br />

m∑<br />

m∑<br />

i 3<br />

∑<br />

m−i<br />

∑ 3<br />

i 3 =0 i 5 =0 i 4 =0 i 2 =0<br />

∑i 3 m−i<br />

∑ 3 m−i<br />

∑ 3<br />

i 3 =0 i 5 =0 i 4 =0 i 2 =0<br />

m−i<br />

∑ 3<br />

(i 4 +i 5 ),<br />

i j , for j = 2,3,4,5.<br />

Simplifying, one can check that<br />

s = s 5 = 1<br />

12 m4 + 2 3 m3 + 23<br />

12 m2 + 7 3 m+1,<br />

s 1 = 5<br />

24 m4 + 7 4 m3 + 127<br />

24 m2 + 27<br />

4 m+3,<br />

s 2 = s 4 = 1 8 m4 + 13<br />

12 m3 + 27 8 m2 + 53<br />

12 m+2,<br />

s 3 = 1 6 m4 + 4 3 m3 + 23<br />

6 m2 + 14<br />

3 m+2.<br />

Neglecting the lower order terms and putting the values <strong>of</strong> X,Y,Z,V,T as well as<br />

the lower bound <strong>of</strong> W, from (6.5), we get the condition as<br />

5<br />

12 α+ 5<br />

24 β − 1 6<br />

< 0 i.e., 10α+5β −4 < 0. (6.6)<br />

That is, when this condition holds, according to [65], we get four polynomials<br />

f 0 ,f 1 ,f 2 ,f 3 such that f 0 (x 0 ,y 0 ,z 0 ,v 0 ,t 0 ) = f 1 (x 0 ,y 0 ,z 0 ,v 0 ,t 0 )<br />

= f 2 (x 0 ,y 0 ,z 0 ,v 0 ,t 0 ) = f 3 (x 0 ,y 0 ,z 0 ,v 0 ,t 0 ) = 0. Under Assumption 1, we can<br />

extract x 0 ,y 0 ,z 0 ,v 0 ,t 0 in polynomial time.<br />

In Theorem 6.9, we consider the Assumption 1. Let us now clarify how it<br />

actually works. In the pro<strong>of</strong> <strong>of</strong> Theorem 6.9, we consider that we will be able to<br />

get at least four polynomials f 0 ,f 1 ,f 2 ,f 3 along with f, that share the integer root.<br />

In experiments we found more than 4 polynomials (other than f) after the LLL<br />

algorithm that share the same root. We calculate f 4 = R(f,f 0 ),f 5 = R(f,f 1 ) and<br />

then f 6 = R(f 4 ,f 5 ). We always find a factor<br />

t 0<br />

−<br />

gcd(t 0 ,v 0 ) v + v 0<br />

gcd(t 0 ,v 0 ) t<br />

<strong>of</strong> f 6 , though we do not have a theoretical pro<strong>of</strong> for that. In all the cases, we<br />

find gcd(t 0 ,v 0 ) ≤ 2. After getting t 0 ,v 0 , we define a new polynomial f 7 (y,z) =<br />

f 4 (y,z,v 0 ,t 0 ). We always find a factor q 3 y−q 2 z +q 3 <strong>of</strong> f 7 . From this we can find<br />

(y 0 ,z 0 ) = (q 2 − 1,q 3 ). Finally, putting the values <strong>of</strong> y 0 ,z 0 ,v 0 ,t 0 in f, we obtain

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

Saved successfully!

Ooh no, something went wrong!