skip to content

 

 

8th May 2014
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
9th May 2014
09:00 to 09:30 Funding Bid - Q&A Session
09:30 to 09:50 The BKZ Algorithm Joop van de Pol (University of Bristol)
09:30 to 10:30 Short Talks - Next Generation Researchers
09:50 to 10:10 (Solving) the Learning with Errors Problem Martin Albrecht (Royal Holloway, University of London)
10:10 to 10:30 Logical Foundations of Classical Encryption and Quantum Teleportation Jamie Vicary (University of Oxford)
10:30 to 10:50 Foundational Aspects of Cryptography in a Quantum World Pooya Farshim (Technische Universität Darmstadt)
10:50 to 11:10 Tea and Coffee
11:10 to 11:40 Strategic Vision
11:40 to 13:00 Breakout Sessions
13:00 to 14:00 Lunch
14:00 to 15:30 Facilitated Discussion to address Potential Lines of Research and New Ideas