Composably secure device-independent encryption with certified deletion
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
2023-07-01
|
| Series: | Quantum |
| Online Access: | https://quantum-journal.org/papers/q-2023-07-06-1047/pdf/ |
| _version_ | 1797785756033351680 |
|---|---|
| author | Srijita Kundu Ernest Y.-Z. Tan |
| author_facet | Srijita Kundu Ernest Y.-Z. Tan |
| author_sort | Srijita Kundu |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-13T00:59:30Z |
| format | Article |
| id | doaj.art-d4f40fd87e6d4009b0b3ec485219f717 |
| institution | Directory Open Access Journal |
| issn | 2521-327X |
| language | English |
| last_indexed | 2024-03-13T00:59:30Z |
| publishDate | 2023-07-01 |
| publisher | Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften |
| record_format | Article |
| series | Quantum |
| spelling | doaj.art-d4f40fd87e6d4009b0b3ec485219f7172023-07-06T13:29:11ZengVerein zur Förderung des Open Access Publizierens in den QuantenwissenschaftenQuantum2521-327X2023-07-017104710.22331/q-2023-07-06-104710.22331/q-2023-07-06-1047Composably secure device-independent encryption with certified deletionSrijita KunduErnest Y.-Z. TanWe 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.https://quantum-journal.org/papers/q-2023-07-06-1047/pdf/ |
| spellingShingle | Srijita Kundu Ernest Y.-Z. Tan Composably secure device-independent encryption with certified deletion Quantum |
| title | Composably secure device-independent encryption with certified deletion |
| title_full | Composably secure device-independent encryption with certified deletion |
| title_fullStr | Composably secure device-independent encryption with certified deletion |
| title_full_unstemmed | Composably secure device-independent encryption with certified deletion |
| title_short | Composably secure device-independent encryption with certified deletion |
| title_sort | composably secure device independent encryption with certified deletion |
| url | https://quantum-journal.org/papers/q-2023-07-06-1047/pdf/ |
| work_keys_str_mv | AT srijitakundu composablysecuredeviceindependentencryptionwithcertifieddeletion AT ernestyztan composablysecuredeviceindependentencryptionwithcertifieddeletion |