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.
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.