Monday and Tuesday will have a schedule and more of a conference feel with talks on background material required to understand the problems. Wednesday onwards will be less formal with people working in groups on the problems that interest them!
Monday 20th July:
09:00 Arrive and Coffee
09:30-10:00 Welcome and Introduction
10:00-12:00 Quantum Computing 101 (Richard Banach)
12:30-13:30 Lunch
13:30-14:30 Quantum GF(2) cryptanalysis (Daniel Shiu)
14:30-15:00 Coffee
15:00-16:30 Quantum methods for lattice sieving on mesh networks (Sam Jaques)
Tuesday 21st July:
09:30-10:30 Quantum S-unit computations in algebraic number fields (Daniel Shiu)
10:30-11:00 Coffee
11:00-12:30 Kuperberg’s algorithm for isogeny-based cryptography (Xavier Bonnetain)
12:30-13:30 Lunch
13:30-14:30 Problem pitches and Q&A
Quantum PIP and HAWK (Daniel Apon)
Lattice sieving on quantum mesh networks (Sam Jaques)
14:30-15:00 Coffee
15:00-16:00 Problem pitches and Q&A
Isogenies and collimation (Chloe Martindale, prerecorded)
LPN and an approximate Simon algorithm (Daniel Shiu)
Evening: social reception from 5pm
Wednesday 22nd July:
We will start at 09:30 and split into work groups (potentially with extra talks in the morning).
10:30-11:00 Coffee
12:30-13:30 Lunch
14:30 - 15:00 Coffee
Thursday 23rd July:
We will start at 09:30 and split into work groups.
10:30-11:00 Coffee
12:30-13:30 Lunch
14:30 - 15:00 Coffee
Evening: Conference Dinner, 7pm at Gusto Italian
(for those who have signed up and pre-ordered choices, only)
Friday 24th July:
We will start at 09:30 and split into work groups.
10:30-11:00 Coffee
We will finish before lunch time.
-------------------------------------------------------------------------------------------------------------------------
Materials
Quantum Background:
Quantum Computing: Quick Overview (Richard Banach)
Quantum Computing Overview - Slides (Richard Banach)
Quantum Cryptanalysis over GF(2) (Daniel Shiu)
------------------------------------------------------------------------------------------------------------------
Lattice Sieving and Mesh Network:
Lattice Sieving on a Quantum Mesh Network (Sam Jaques)
Lattice Sieving on a Quantum Mesh Network - Slides (Sam Jaques)
------------------------------------------------------------------------------------------------------------------
HAWK:
S-Units and Hidden subgroups (Daniel Shiu)
Lattice Isomorphism Problem : Introductory slides (Daniel Apon)
HAWKPrime (Daniel Apon)
Is Hawk Inherently a Quaternion Algebra Problem? (Daniel Apon)
Cryptanalysis of HAWK: a Guessing Game- Summary (Andrew Mendlesohn)
Cryptanalysis of HAWK: a Guessing Game- Slides (Andrew Mendlesohn)
------------------------------------------------------------------------------------------------------------------
Isogenies:
Kuperberg’s algorithm for isogeny-based cryptography (Chloe Martindale)
Quantum and Classical Algorithms for hidden shifts (Xavier Bonnetain)
------------------------------------------------------------------------------------------------------------------
Learning Parity with Noise:
QCPQA Project Proposal: A quantum costing of HQC (Daniel Shiu)
We are very grateful for funding from: