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

Luka Music; Céline Chevalier; Elham Kashefi

doi:10.1007/978-3-030-62576-4_16

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

Luka Music, Céline Chevalier, Elham Kashefi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

With the emergence of quantum communication, 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.

Original language	English
Title of host publication	Provable and Practical Security
Editors	Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang
Place of Publication	Cham
Publisher	Springer
Pages	318-337
Number of pages	20
ISBN (Electronic)	978-3-030-62576-4
ISBN (Print)	978-3-030-62576-4
DOIs	https://doi.org/10.1007/978-3-030-62576-4_16
Publication status	Published - 20 Nov 2020
Event	14th International Conference on Provable and Practical Security - Online, Singapore Duration: 29 Nov 2020 → 1 Dec 2020 https://www.ntu.edu.sg/scripts/news-events/provsec/provsec-2020

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12505
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Conference on Provable and Practical Security
Abbreviated title	ProvSec 2020
Country/Territory	Singapore
Period	29/11/20 → 1/12/20
Internet address	https://www.ntu.edu.sg/scripts/news-events/provsec/provsec-2020

Keywords / Materials (for Non-textual outputs)

Cryptographic protocols
Superposition attack
Post quantum security
Security model
Yao’s protocol

Access to Document

10.1007/978-3-030-62576-4_16Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-030-62576-4_16Licence: All Rights Reserved

Cite this

@inproceedings{a5f7bb457e5743239a26668afaf69bf8,

title = "Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses",

abstract = "With the emergence of quantum communication, 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.",

keywords = "Cryptographic protocols, Superposition attack, Post quantum security, Security model, Yao{\textquoteright}s protocol",

author = "Luka Music and C{\'e}line Chevalier and Elham Kashefi",

year = "2020",

month = nov,

day = "20",

doi = "10.1007/978-3-030-62576-4_16",

language = "English",

isbn = "978-3-030-62576-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "318--337",

editor = "Khoa Nguyen and Wenling Wu and Lam, {Kwok Yan} and Huaxiong Wang",

booktitle = "Provable and Practical Security",

address = "United Kingdom",

note = "14th International Conference on Provable and Practical Security, ProvSec 2020 ; Conference date: 29-11-2020 Through 01-12-2020",

url = "https://www.ntu.edu.sg/scripts/news-events/provsec/provsec-2020",

}

Music, L, Chevalier, C & Kashefi, E 2020, Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses. in K Nguyen, W Wu, KY Lam & H Wang (eds), Provable and Practical Security. Lecture Notes in Computer Science, vol. 12505, Springer, Cham, pp. 318-337, 14th International Conference on Provable and Practical Security, Singapore, 29/11/20. https://doi.org/10.1007/978-3-030-62576-4_16

Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses. / Music, Luka; Chevalier, Céline; Kashefi, Elham.
Provable and Practical Security. ed. / Khoa Nguyen; Wenling Wu; Kwok Yan Lam; Huaxiong Wang. Cham: Springer, 2020. p. 318-337 (Lecture Notes in Computer Science; Vol. 12505).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Music, Luka

AU - Chevalier, Céline

AU - Kashefi, Elham

PY - 2020/11/20

Y1 - 2020/11/20

N2 - With the emergence of quantum communication, 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.

AB - With the emergence of quantum communication, 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.

KW - Cryptographic protocols

KW - Superposition attack

KW - Post quantum security

KW - Security model

KW - Yao’s protocol

U2 - 10.1007/978-3-030-62576-4_16

DO - 10.1007/978-3-030-62576-4_16

M3 - Conference contribution

SN - 978-3-030-62576-4

T3 - Lecture Notes in Computer Science

SP - 318

EP - 337

BT - Provable and Practical Security

A2 - Nguyen, Khoa

A2 - Wu, Wenling

A2 - Lam, Kwok Yan

A2 - Wang, Huaxiong

PB - Springer

CY - Cham

T2 - 14th International Conference on Provable and Practical Security

Y2 - 29 November 2020 through 1 December 2020

ER -

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

Abstract

Publication series

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this