Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...
Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...
Cryptanalysis of RSA Factorization - Library(ISI Kolkata) - Indian ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Chapter 2: Mathematical Preliminaries 14<br />
Correctness <strong>of</strong> <strong>RSA</strong> algorithm<br />
Here we present the pro<strong>of</strong> <strong>of</strong> the correctness <strong>of</strong> the <strong>RSA</strong> algorithm, that is c d mod<br />
N = m. We know that ed ≡ 1 (mod φ(N)). So, we can write ed = 1+kφ(N) for<br />
some integer k. Let us first assume that m ∈ Z ∗ N (integers less than and co-prime<br />
to N). Then,<br />
c d ≡ m ed (mod N)<br />
≡ m 1+kφ(N) (mod N)<br />
≡ m·(m φ(N) ) k (mod N)<br />
≡ m (mod N) (as m φ(N) ≡ 1 (mod N) by Euler’s Theorem [126]).<br />
Now assume that m ∈ Z N \ Z ∗ N , that is gcd(m,N) > 1. If m ≡ 0 (mod p) and<br />
m ≡ 0 (mod q), then m ≡ 0 (mod N). Then c d ≡ m ed ≡ m ≡ 0 (mod N). On<br />
the other hand, let us assume without loss <strong>of</strong> generality that m ≡ 0 (mod p) and<br />
m ≢ 0 (mod q). Then c d ≡ m ed ≡ m ≡ 0 (mod p). So, p divides m ed − m. We<br />
also have<br />
m ed ≡ m 1+kφ(N) (mod q)<br />
≡ m·m k(p−1)(q−1) (mod q)<br />
≡ m·(m q−1) k(p−1)<br />
≡ m (mod q)<br />
(mod q)<br />
as m q−1 ≡ 1 (mod q).<br />
So, q divides m ed −m. Hence, pq = N divides m ed −m i.e., m ed ≡ m (mod N).<br />
Example <strong>of</strong> <strong>RSA</strong> Cryptosystem<br />
Let us present a toy example to illustrate the basic operations.<br />
Example 2.3. Bob chooses two primes p = 653,q = 877, and calculates N =<br />
pq = 572681, φ(N) = (p−1)(q−1) = 571152. Suppose that Bob picks an integer<br />
e = 13 as the encryption exponent. Now he has to find the decryption exponent d<br />
which is e −1 in Z φ(N) . One can check that 13×395413 ≡ 1 (mod 571152). Hence,<br />
the <strong>RSA</strong> parameters for Bob are<br />
• public key: (13,572681), and