Skip to Main content Skip to Navigation
Conference papers

Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses

Luka Music 1 Elham Kashefi 2, 1 Céline Chevalier 3, 4
3 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria de Paris
Abstract : It is of folkloric belief that the security of classical cryptographic protocols is automatically broken if the Adversary is allowed to perform superposition queries and the honest players forced to perform actions coherently on quantum states. Another widely held intuition is that enforcing measurements on the exchanged messages is enough to protect protocols from these attacks. However, the reality is much more complex. Security models dealing with superposition attacks only consider unconditional security. Conversely, security models considering computational security assume that all supposedly classical messages are measured, which forbids by construction the analysis of superposition attacks. Boneh and Zhandry have started to study the quantum computational security for classical primitives in their seminal work at Crypto'13, but only in the single-party setting. To the best of our knowledge, an equivalent model in the multiparty setting is still missing. In this work, we propose the first computational security model considering superposition attacks for multiparty protocols. We show that our new security model is satisfiable by proving the security of the well-known One-Time-Pad protocol and give an attack on a variant of the equally reputable Yao Protocol for Secure Two-Party Computations. The post-mortem of this attack reveals the precise points of failure, yielding highly counter-intuitive results: Adding extra classical communication, which is harmless for classical security, can make the protocol become subject to superposition attacks. We use this newly imparted knowledge to construct the first concrete protocol for Secure Two-Party Computation that is resistant to superposition attacks. Our results show that there is no straightforward answer to provide for either the vulnerabilities of classical protocols to superposition attacks or the adapted countermeasures.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03097496
Contributor : Elham Kashefi Connect in order to contact the contributor
Submitted on : Tuesday, January 5, 2021 - 1:23:55 PM
Last modification on : Wednesday, November 24, 2021 - 9:54:21 AM

Links full text

Identifiers

Citation

Luka Music, Elham Kashefi, Céline Chevalier. Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses. ProvSec 2020 - 14th International Conference on Provable and Practical Security, Nov 2020, Singapour / Virtual, Singapore. pp.318-337, ⟨10.1007/978-3-030-62576-4_16⟩. ⟨hal-03097496⟩

Share

Metrics

Record views

62