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 NiCd 2way Radio Battery devices.Moreover, we define security for the ECD task in a composable manner and