Quantum Techniques for Provable Security

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.


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.
Period17 Oct 2021
Event typeWorkshop
LocationZagreb, CroatiaShow on map
Degree of RecognitionInternational


  • post-quantum security
  • cryptography
  • provable security