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 t... https://jalyttlers.shop/product-category/ring/