The Preliminary Arizona Winter School (PAWS) is a virtual program on topics related to the upcoming AWS, with an intended audience of advanced undergraduate students and junior graduate students.
Cryptography is an ancient art with the goal of keeping communication
private. Modern cryptography is based on different mathematical
concepts, and in particular number theory.
This course will provide an introduction to cryptography and the
underlying mathematics. We start with an analysis of the classical
Diffie-Hellman key exchange discovered in the seventies, and proceed to
study elliptic curve cryptography which is used in many of today's
applications. Finally, we will also discuss the construction of
cryptography that is secure against quantum computers.
A goal of the course will be to get intuition on the hardness of the
underlying number theoretic problems. We will discuss attacks on
existing protocols and, apart from theoretical problems, there will also
be practical exercises using the computer algebra system SageMath.
This course will assume only a first undergraduate course in abstract algebra as a prerequisite.
The course consists of an exploration of the algorithms and computational ideas that power modern algebra and number theory. We will start with the basics: analyzing what makes an algorithm e!cient, and working through classic methods in integer arithmetic and linear algebra. These techniques will come up again and again in the rest of the lectures.
From there, we will study algebraic numbers and number fields. We will see how to represent them and do arithmetic with them. We then move on to working with rings of integers, discriminants, bases, class groups, ideals, and units. Finally, we will pull everything together with examples from quadratic fields. This will require the use of quadratic forms and even a bit about quaternions and special methods.
This course will assume fluency with algebra at a beginning graduate level and familiarity with the basic objects of algebraic number theory (such as number fields and their rings of integers), but will not assume any prior experience with analysis of algorithms.