News
Most of the videos and slides are now online and linked in the program below. We will add the remaining as we receive them / get the confirmation from the speakers.
The schedule is online. For those of you that cannot make it to Zagreb, we will live stream the event on YouTube. Details will follow.
Finally, 1.5 years later but Quiques will happen as hybrid workshop at Eurocrypt’21 in Zagreb. This means, you can join us in person, or you con follow the talks from your couch. As your circumstances allow / you prefer. We are currently confirming the last speakers so there are more to come.
Remote Participation
For those that cannot make it to Zagreb, we will livestream the event on YouTube at our Quiques channel (https://www.youtube.com/channel/UCAxQdtHIsZ2hjCdDhM9kpcw). If you want to participate and ask questions, please write Christian an email at chmaj at dtu dot dk. Then we will add you to the workshop slack channel.
Content
Recently, the development of fault-tolerant quantum computers has accelerated, driven by heavy public and private investment. Due to this development, preparing the theory of cryptography for the arrival of quantum computers has become an important frontier of theoretical computer science. Mathematical tools for provable security in post-quantum and quantum cryptography have become a valuable resource. In addition, the exchange of ideas between the fields of cryptography and quantum information science is not as vivid as would be desirable due to the two fields traditionally being virtually without intersection.
This workshop strives to bring researchers from cryptography and quantum information science together to facilitate such an exchange of ideas, in particular with respect to quantum proof techniques that might be or already proved to be useful in cryptography. Topics will range from basic notions like quantum distinguishability measures and purification, to cutting-edge proof techniques overcoming the so-called “recording barrier” like superposition oracles and quantum rewinding.
Speakers
Akinori Hosoyamada, NTT & Nagoya University
Andris Ambainis, University of Latvia
Dominique Unruh, University of Tartu
Gorjan Alagic, University of Maryland & NIST
Kai-Min Chung, Academia Sinica
Kathrin Hövelmanns, Eindhoven University of Technology
Schedule
09:00 Start
09:00 — 10:00 Gorjan Alagic: Introductory lecture [ slides ] [ video ]
10:00 — 10:30 Kai-Min Chung: The compressed oracle technique I [ slides ] [ video ]
10:30 — 11:00 Coffee morning
11:00 — 11:30 Kai-Min Chung: The compressed oracle technique II
11:30 — 12:30 Akinori Hosoyamada: A quantum proof technique for symmetric key cryptography [ slides ] [ video ]
12:30 — 14:00 Lunch
14:00 — 15:00 Kathrin Hövelmanns: The one-way-to-hiding Lemma [ slides ] [ video ]
15:00 — 15:45 Andris Ambainis: Query lower bound techniques I [ slides ] [ video ]
15:45 — 16:15 Coffee afternoon
16:15 — 16:45 Andris Ambainis: Query lower bound techniques II
16:45 — 18:00 Dominique Unruh: Quantum rewinding [ slides ] [ video ]
18:00 End
Organizers
Andreas Hülsing, Eindhoven University of Technology
Christian Majenz, Technical University of Denmark