Schedule

Aug 12
8:30 AM - 9:00 AM

SAC Summer School - Registration

Aug 12
9:00 AM - 10:30 AM

SAC Summer School - A gentle introduction to ECC

An introduction to elliptic curve cryptography (ECC)

Craig Costello, Microsoft Research

Craig Costello will give an introduction to the realm of ECC assuming as little background as possible. This will lay foundations for the next tutorial.

Aug 12
10:30 AM - 11:00 AM
DC 1301

Coffee Break

Aug 12
11:00 AM - 12:15 PM

SAC Summer School - Isogeny-based cryptography: A gentle introduction to post-quantum ECC

A tutorial on post-quantum elliptical curve cryptography

Craig Costello, Microsoft Research

This talk will give an introduction to isogeny-based cryptography, with a particular focus on Jao and De Feo's SIDH protocol. Time permitting, I will aim to give a high-level overview of the subsequent SIKE submission to NIST's post-quantum standardization effort.

Aug 12
12:15 PM - 1:15 PM
DC 1301

Lunch

Aug 12
1:15 PM - 2:45 PM

SAC Summer School - Provably Security in Symmetric Key Cryptography, Part 1

An introduction to provably security in symmetric key cryptography

Tetsu Iwata, Nagoya University

This tutorial will first review basic approaches for proving the security of symmetric key constructions. We use PRP/PRF switching to introduce game-playing technique and coefficient-H technique. We then illustrate applications of the techniques to show the security of the Feistel cipher.

Aug 12
2:45 PM - 3:15 PM
DC 1301

Coffee Break

Aug 12
3:15 PM - 4:30 PM

SAC Summer School - Provably Security in Symmetric Key Cryptography, Part 2

A tutorial on the provable security of block cipher modes of operation

Tetsu Iwata, Nagoya University

In the second part of the tutorial, we will cover block cipher modes of operation. We introduce tweakable block ciphers and cover authenticated encryption schemes with focus on versions of OCB and recently designed ZOCB.