References & Citations
Quantum Physics
Title: Composably secure device-independent encryption with certified deletion
(Submitted on 25 Nov 2020 (v1), last revised 1 Jul 2023 (this version, v3))
Abstract: We study the task of encryption with certified deletion (ECD) introduced by Broadbent and Islam (2020), but in a device-independent setting: we show that it is possible to achieve this task even when the honest parties do not trust their quantum devices. Moreover, we define security for the ECD task in a composable manner and show that our ECD protocol satisfies conditions that lead to composable security. Our protocol is based on device-independent quantum key distribution (DIQKD), and in particular the parallel DIQKD protocol based on the magic square non-local game, given by Jain, Miller and Shi (2020). To achieve certified deletion, we use a property of the magic square game observed by Fu and Miller (2018), namely that a two-round variant of the game can be used to certify deletion of a single random bit. In order to achieve certified deletion security for arbitrarily long messages from this property, we prove a parallel repetition theorem for two-round non-local games, which may be of independent interest.
Submission history
From: Ernest Y.-Z. Tan [view email][v1] Wed, 25 Nov 2020 13:14:29 GMT (46kb)
[v2] Thu, 10 Mar 2022 04:06:11 GMT (52kb)
[v3] Sat, 1 Jul 2023 05:35:57 GMT (73kb,D)
Link back to: arXiv, form interface, contact.