Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lecture notes in computer science

Software with Certified Deletion

James Bartusek, Vipul Goyal, Dakshita Khurana, Giulio Malavolta, Justin Raizes, Bhaskar Roberts

Published Jan 1, 2024• 13 citations
Publisher
DOI
10.1007/978-3-031-58737-5_4

Related papers

Cryptography with Certified Deletion

James Bartusek, Dakshita Khurana

arXiv:2207.01754•Lecture notes in computer science•Jan 1, 2023•28 citations

Secret Sharing with Certified Deletion

James Bartusek, Justin Raizes

arXiv:2405.08117•Lecture notes in computer science•Jan 1, 2024•7 citations

Quantum Encryption with Certified Deletion

Anne Broadbent, Rabib Islam

arXiv:1910.03551•Lecture notes in computer science•Jan 1, 2020•47 citations

Constant-Rate Certified Deletion

Kai-Min Chung, Tzu-Hsiang Huang, Wei-Hsiang Hung +1 more

We present a unified framework for upgrading a broad class of cryptographic primitives to support constant-rate certified deletion. Previous constructions require a linear number of qubits per encrypted bit of certified-deletable plaintext. In contrast, we obtain the first constant-rate constructions in the plain model that achieve certified deletion while preserving everlasting security. Our approach applies to a wide range of "all-or-nothing"-type primitives based on BB84-style encodings, including commitment schemes, public-key encryption, attribute-based encryption, and fully homomorphic encryption. Beyond this class, we also obtain constant-rate certified deletion for primitives built from subspace coset states, such as blind delegation, secure software leasing, functional encryption, and differing-inputs iO, and CCA-PKE. Importantly, our framework does not introduce any additional assumptions beyond those required by the underlying certified deletion primitives. Finally, under the hardness of SIS, we show that public verifiability can be incorporated into BB84- and coset-based certified deletion. In combination with our constant-rate constructions, this yields publicly verifiable certified deletion schemes with constant rate.

cs.CRCross-listedarXiv:2610.03590•Lecture notes in computer science•Oct 5, 2026•0 citations

Non-Interactive Zero-Knowledge Arguments with Certified Deletion

Kasra Abbaszadeh, Jonathan I. Katz

Lecture notes in computer science•Dec 7, 2025•0 citations

How to Delete Without a Trace: Certified Deniability in a Quantum World

Alper Çakan, Vipul Goyal, Justin Raizes

arXiv:2411.05176•Lecture notes in computer science•Jan 1, 2026•0 citations
We present a unified framework for upgrading a broad class of cryptographic primitives to support constant-rate certified deletion. Previous constructions require a linear number of qubits per encrypted bit of certified-deletable plaintext. In contrast, we obtain the first constant-rate constructions in the plain model that achieve certified deletion while preserving everlasting security. Our approach applies to a wide range of "all-or-nothing"-type primitives based on BB84-style encodings, including commitment schemes, public-key encryption, attribute-based encryption, and fully homomorphic encryption. Beyond this class, we also obtain constant-rate certified deletion for primitives built from subspace coset states, such as blind delegation, secure software leasing, functional encryption, and differing-inputs iO, and CCA-PKE. Importantly, our framework does not introduce any additional assumptions beyond those required by the underlying certified deletion primitives. Finally, under the hardness of SIS, we show that public verifiability can be incorporated into BB84- and coset-based certified deletion. In combination with our constant-rate constructions, this yields publicly verifiable certified deletion schemes with constant rate.