تقرير
Composably secure device-independent encryption with certified deletion
| العنوان: | Composably secure device-independent encryption with certified deletion |
|---|---|
| المؤلفون: | Kundu, Srijita, Tan, Ernest Y. -Z. |
| المصدر: | Quantum 7, 1047 (2023) |
| سنة النشر: | 2020 |
| المجموعة: | Quantum Physics |
| مصطلحات موضوعية: | Quantum Physics |
| الوصف: | 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. Comment: Accepted for publication in Quantum. Added alternative security definition more similar to previous works; significantly expanded exposition and proof details in various sections |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.22331/q-2023-07-06-1047 |
| URL الوصول: | http://arxiv.org/abs/2011.12704 |
| رقم الأكسشن: | edsarx.2011.12704 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.22331/q-2023-07-06-1047 |
|---|