How (not) to prove cryptographic security against quantum attacks

titleHow (not) to prove cryptographic security against quantum attacks
start_date2024/03/26
schedule11h
onlineno
location_infoSalle 3052
summaryPerhaps one of the most spectacular feats of quantum computers is the ability to break (public-key) cryptosystems that are used to secure the Internet. This directly motivates the study of cryptography that is secure against quantum attacks, namely post-quantum cryptography. In this talk, I will focus on the following basic question: how do we prove that a cryptographic construction is secure against quantum attacks? I will highlight a perhaps surprising distinction between the security of cryptographic constructions against quantum attacks, and the quantum hardness of the underlying problems that are used to reason about security. Doing so will highlight a natural connection to cryptographic proofs of quantumness. Based on joint work with Alex Lombardi, Ethan Mook, and Daniel Wichs.
responsiblesHamoudi