Secure Software Leasing from Standard Assumptions
Fuyuki Kitagawa, Ryo Nishimaki, Takashi Yamakawa

TL;DR
This paper introduces secure software leasing schemes based on standard cryptographic assumptions, specifically LWE, enabling controlled software execution with quantum-resistant security and classical communication.
Contribution
It presents novel SSL schemes based on LWE for pseudorandom and evasive functions, introducing two-tier quantum lightning for security against quantum adversaries.
Findings
SSL schemes based on LWE for pseudorandom functions
SSL schemes for evasive functions with quantum security
Introduction of two-tier quantum lightning for security
Abstract
Secure software leasing (SSL) is a quantum cryptographic primitive that enables users to execute software only during the software is leased. It prevents users from executing leased software after they return the leased software to its owner. SSL can make software distribution more flexible and controllable. Although SSL is an attractive cryptographic primitive, the existing SSL scheme is based on public key quantum money, which is not instantiated with standard cryptographic assumptions so far. Moreover, the existing SSL scheme only supports a subclass of evasive functions. In this work, we present SSL schemes based on the learning with errors assumption (LWE). Specifically, our contributions consist of the following. - We construct an SSL scheme for pseudorandom functions from the LWE assumption against quantum adversaries. - We construct an SSL scheme for a subclass of evasive…
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.
