DeepAI AI Chat
Log In Sign Up

Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication

05/12/2021
by   Taiga Hiroka, et al.
0

Broadbent and Islam (TCC '20) proposed a quantum cryptographic primitive called quantum encryption with certified deletion. In this primitive, a receiver in possession of a quantum ciphertext can generate a classical certificate that the encrypted message is deleted. Although their construction is information-theoretically secure, it is limited to the setting of one-time symmetric key encryption (SKE), where a sender and receiver have to share a common key in advance and the key can be used only once. Moreover, the sender has to generate a quantum state and send it to the receiver over a quantum channel in their construction. Although deletion certificates are privately verifiable, which means a verification key for a certificate has to be kept secret, in the definition by Broadbent and Islam, we can also consider public verifiability. In this work, we present various constructions of encryption with certified deletion. - Quantum communication case: We achieve (reusable-key) public key encryption (PKE) and attribute-based encryption (ABE) with certified deletion. Our PKE scheme with certified deletion is constructed assuming the existence of IND-CPA secure PKE, and our ABE scheme with certified deletion is constructed assuming the existence of indistinguishability obfuscation and one-way function. These two schemes are privately verifiable. - Classical communication case: We also achieve PKE with certified deletion that uses only classical communication. We give two schemes, a privately verifiable one and a publicly verifiable one. The former is constructed assuming the LWE assumption in the quantum random oracle model. The latter is constructed assuming the existence of one-shot signatures and extractable witness encryption.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/15/2023

Publicly-Verifiable Deletion via Target-Collapsing Functions

We build quantum cryptosystems that support publicly-verifiable deletion...
03/27/2021

Uncloneable Encryption, Revisited

Uncloneable encryption, introduced by Broadbent and Lord (TQC'20), is an...
03/03/2022

Quantum Proofs of Deletion for Learning with Errors

Quantum information has the property that measurement is an inherently d...
02/20/2023

Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More

We study certified everlasting secure functional encryption (FE) and man...
07/05/2022

Cryptography with Certified Deletion

We propose a new, unifying framework that yields an array of cryptograph...
09/21/2022

Creating quantum-resistant classical-classical OWFs from quantum-classical OWFs

One-way functions (OWF) are one of the most essential cryptographic prim...
03/09/2023

Encryption with Quantum Public Keys

It is an important question to find constructions of quantum cryptograph...