|
|
09:30 to 10:00 |
Registration, Tea and Coffee |
|
|
|
|
|
10:00 to 10:10 |
Welcome and Introduction |
|
|
|
|
|
10:10 to 10:40 |
The Need to Develop the UK Community in Post-Quantum Research |
Richard Pinch (GCHQ) |
|
|
|
|
10:40 to 11:00 |
Funding Call |
|
|
|
|
|
11:00 to 11:30 |
Quantum Secure (Pre) Standardization in ETSI |
Gaby Lenhart (European Telecommunication Standards Institute) |
|
|
|
|
11:30 to 11:50 |
Tea and Coffee |
|
|
|
|
|
11:50 to 12:20 |
miTLS: A Verifiable TLS Implementation (Or, how secure is SSL?) |
Markulf Kohlweiss (Microsoft (UK)) |
|
|
|
|
12:20 to 12:50 |
Information Security Drivers and Challenges for High Assurance Applications |
Glyn Jones (Thales) |
|
|
|
|
13:00 to 14:00 |
Lunch |
|
|
|
|
|
14:00 to 14:30 |
The Power of Quantum Computation |
Ashley Montanaro (University of Bristol) |
|
|
|
|
14:30 to 15:00 |
Lattice Based Cryptography |
Nigel Smart (KU Leuven) |
|
|
|
|
15:00 to 15:30 |
Threats to Modern Cryptography and State of the Art Solutions |
Kenny Paterson (Birkbeck, University of London) |
|
|
|
|
15:30 to 16:00 |
Tea and Coffee |
|
|
|
|
|
16:00 to 16:30 |
Quantum Blind Computing (New Quantum Crypto Gadgets) |
Elham Kashefi (University of Edinburgh), (CNRS (Centre national de la recherche scientifique)) |
|
|
|
|
16:30 to 17:00 |
Discussion Session |
|
|
|
|
|
17:00 to 18:00 |
Wine Reception |
|
|
|
|
|
19:30 to 20:30 |
Dinner |
|
|
|