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.

Chapter 2<br />

Mathematical Preliminaries<br />

This chapter is dedicated to provide the reader with a comprehensive overview<br />

<strong>of</strong> the mathematical framework one may need to read this thesis. Due to the<br />

requirement for complexity analysis <strong>of</strong> the algorithms we discuss in this thesis, let<br />

us start with a brief overview <strong>of</strong> the basic asymptotic notations in Section 2.1.<br />

In Section 2.2, we discuss the <strong>RSA</strong> cryptosystem in detail and also describe the<br />

different variants <strong>of</strong> <strong>RSA</strong> used in practice. Next, we move on to our basic focus,<br />

cryptanalysis <strong>of</strong> <strong>RSA</strong>, in Section 2.3 and present a comprehensive summary <strong>of</strong><br />

attacks on the <strong>RSA</strong> cryptosystem proposed in the last few decades. Most <strong>of</strong> the<br />

works in this thesis, as well as many partial key exposure attacks on <strong>RSA</strong> depend<br />

on lattice based polynomial solving techniques. Thus we study the basic properties<br />

<strong>of</strong> lattices in Section 2.4, and discuss the existing techniques to solve modular and<br />

integer polynomials in Sections 2.5 and 2.6 respectively.<br />

2.1 Asymptotic Notation<br />

In mathematics, computer science, and other fields related to computation, the<br />

time and space requirement for an algorithm to run is generally represented as a<br />

function <strong>of</strong> the size <strong>of</strong> the input(s). In this context, the asymptotic notations are<br />

used to describe the limiting behavior <strong>of</strong> these functions, in an asymptotic sense,<br />

as the input size tends to a specific value or towards infinity. Bachmann-Landau<br />

notations [27] are a family <strong>of</strong> asymptotic notations used to compare computational<br />

complexity (time or space) <strong>of</strong> algorithms. This family comprises <strong>of</strong> notations ‘Big<br />

O’ (O), ‘Small o’ (o), ‘Big Omega’ (Ω), ‘Big Theta’ (Θ) and ‘Small Omega’ (ω),<br />

11

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

Saved successfully!

Ooh no, something went wrong!