Paper 2022/1252
Functional Encryption with Secure Key Leasing
Abstract
Secure software leasing is a quantum cryptographic primitive that enables us to lease software to a user by encoding it into a quantum state. Secure software leasing has a mechanism that verifies whether a returned software is valid or not. The security notion guarantees that once a user returns a software in a valid form, the user no longer uses the software.
In this work, we introduce the notion of secret-key functional encryption (SKFE) with secure key leasing, where a decryption key can be securely leased in the sense of secure software leasing. We also instantiate it with standard cryptographic assumptions. More specifically, our contribution is as follows.
- We define the syntax and security definitions for SKFE with secure key leasing.
- We achieve a transformation from standard SKFE into SKFE with secure key leasing without using additional assumptions. Especially, we obtain bounded collusion-resistant SKFE for
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- A major revision of an IACR publication in ASIACRYPT 2022
- Keywords
- functional encryption secure key leasing copy-protection
- Contact author(s)
-
fuyuki kitagawa yh @ hco ntt co jp
ryo nishimaki zk @ hco ntt co jp - History
- 2022-09-26: approved
- 2022-09-21: received
- See all versions
- Short URL
- https://ia.cr/2022/1252
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2022/1252, author = {Fuyuki Kitagawa and Ryo Nishimaki}, title = {Functional Encryption with Secure Key Leasing}, howpublished = {Cryptology {ePrint} Archive, Paper 2022/1252}, year = {2022}, url = {https://eprint.iacr.org/2022/1252} }