Secure Software Leasing Without Assumptions
Anne Broadbent, Stacey Jeffery, S\'ebastien Lord, Supartha Podder,, Aarthi Sundaram

TL;DR
This paper demonstrates that secure software leasing for compute-and-compare functions can be achieved using quantum information without relying on any setup or computational assumptions, advancing quantum cryptography.
Contribution
It introduces a novel assumption-free method for secure software leasing by leveraging quantum copy-protection and quantum message authentication codes.
Findings
SSL achieved without assumptions for compute-and-compare functions
Quantum copy-protection can prevent software copying
From quantum message authentication, honest-malicious copy-protection is derived
Abstract
Quantum cryptography is known for enabling functionalities that are unattainable using classical information alone. Recently, Secure Software Leasing (SSL) has emerged as one of these areas of interest. Given a target circuit from a circuit class, SSL produces an encoding of that enables a recipient to evaluate , and also enables the originator of the software to verify that the software has been returned -- meaning that the recipient has relinquished the possibility of any further use of the software. Clearly, such a functionality is unachievable using classical information alone, since it is impossible to prevent a user from keeping a copy of the software. Recent results have shown the achievability of SSL using quantum information for a class of functions called compute-and-compare (these are a generalization of the well-known point functions). These prior works, however…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
