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.

135 7.5 Sublattice and Generalized Bound<br />

Now putting t = τm, (τ ≥ 0 is a real number) in (7.22), we get the condition as<br />

( )<br />

(<br />

1<br />

k + τ2<br />

2 +τ 1<br />

(α+β)+<br />

(k −1)k < (1−α) τ + 1 )<br />

. (7.23)<br />

k −1<br />

To maximize β for a fixed α, the optimal value <strong>of</strong> τ is<br />

τ = 1−2α−β .<br />

α+β<br />

Putting this optimal value in (7.23), we get the condition as<br />

4α 2 k 2 +4αβk 2 +β 2 k 2 −8α 2 k −10αβk −3β 2 k −4αk 2<br />

−2βk 2 +2α 2 +4αβ +2β 2 +6αk +4βk +k 2 −2α−2β −k > 0.<br />

From which we get the required condition as β < C(α,k) when k > 2, and<br />

β < 1−3α+α 2 whenk = 2. Sinceτ ≥ 0, wealsoneedtheconstraint1−2α−β ≥ 0.<br />

Then, under Assumption 1 (as the polynomials are <strong>of</strong> more than one variable), we<br />

can collect the roots successfully.<br />

7.5.1 Implicit <strong>Factorization</strong> problem with shared MSBs<br />

and LSBs together<br />

So far we continued our discussion for the MSB case for better understanding.<br />

Now we show that the same technique works as well when MSBs and LSBs are<br />

shared together. This also takes care <strong>of</strong> the case when only LSBs are shared. As<br />

before, consider N 1 = p 1 q 1 ,N 2 = p 2 q 2 ,...,N k = p k q k , where p 1 ,p 2 ,...,p k and<br />

q 1 ,q 2 ,...,q k are primes. It is also considered that p 1 ,p 2 ,...,p k are <strong>of</strong> same bitsize<br />

and so are q 1 ,q 2 ,...,q k . We also assume that some amount <strong>of</strong> LSBs as well as<br />

some amount <strong>of</strong> MSBs <strong>of</strong> p 1 ,p 2 ,...,p k are same.<br />

Theorem 7.13. Let q 1 ,q 2 ,...,q k ≈ N α . Consider that γ 1 log 2 N many MSBs and<br />

γ 2 log 2 N many LSBs <strong>of</strong> p 1 ,p 2 ,...,p k are same. Define β = 1−α−γ 1 −γ 2 . Then,<br />

under Assumption 1, one can factor N 1 ,N 2 ,...,N k in poly{logN,exp(k)} if<br />

{<br />

C(α,k), for k > 2,<br />

β <<br />

1−3α+α 2 , for k = 2,<br />

with the constraint 2α+β ≤ 1.

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

Saved successfully!

Ooh no, something went wrong!