CCA-secure keyed-fully homomorphic encryption

Junzuo Lai; Robert H. Deng; Changshe Ma; Kouichi Sakurai; Jian Weng

doi:10.1007/978-3-662-49384-7_4

CCA-secure keyed-fully homomorphic encryption

Junzuo Lai, Robert H. Deng, Changshe Ma, Kouichi Sakurai, Jian Weng

Mathematical Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

10 Citations (Scopus)

Abstract

To simultaneously achieve CCA security and homomorphic property for encryption, Emura et al. introduced a new cryptographic primitive named keyed-homomorphic encryption, in which homomorphic ciphertext manipulations can only be performed by someone holding a devoted evaluation key which, by itself, does not enable decryption. A keyed-homomorphic encryption scheme should provide CCA2 security when the evaluation key is unavailable to the adversary and remain CCA1-secure when the evaluation key is exposed. While existing keyedhomomorphic encryption schemes only allow simple computations on encrypted data, our goal is to construct CCA-secure keyed-fully homomorphic encryption (keyed-FHE) capable of evaluating any functions on encrypted data with an evaluation key. In this paper, we first introduce a new primitive called convertible identity-based fully homomorphic encryption (IBFHE), which is an IBFHE with an additional transformation functionality, and define its security notions. Then, we present a generic construction of CCA-secure keyed-FHE from IND-sID-CPA-secure convertible IBFHE and strongly EUF-CMA-secure signature. Finally, we propose a concrete construction of IND-sID-CPA-secure convertible IBFHE, resulting in the first CCAsecure keyed-FHE scheme in the standard model.

Original language	English
Title of host publication	Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings
Editors	Giuseppe Persiano, Chen-Mou Cheng, Kai-Min Chung, Bo-Yin Yang
Publisher	Springer Verlag
Pages	70-98
Number of pages	29
ISBN (Print)	9783662493830
DOIs	https://doi.org/10.1007/978-3-662-49384-7_4
Publication status	Published - 2016
Event	19th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2016 - Taipei, Taiwan, Province of China Duration: Mar 6 2016 → Mar 9 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9614
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	19th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2016
Country/Territory	Taiwan, Province of China
City	Taipei
Period	3/6/16 → 3/9/16

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-662-49384-7_4

Cite this

Lai, J., Deng, R. H., Ma, C., Sakurai, K., & Weng, J. (2016). CCA-secure keyed-fully homomorphic encryption. In G. Persiano, C-M. Cheng, K-M. Chung, & B-Y. Yang (Eds.), Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (pp. 70-98). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9614). Springer Verlag. https://doi.org/10.1007/978-3-662-49384-7_4

CCA-secure keyed-fully homomorphic encryption. / Lai, Junzuo; Deng, Robert H.; Ma, Changshe et al.
Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings. ed. / Giuseppe Persiano; Chen-Mou Cheng; Kai-Min Chung; Bo-Yin Yang. Springer Verlag, 2016. p. 70-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9614).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lai, J, Deng, RH, Ma, C, Sakurai, K & Weng, J 2016, CCA-secure keyed-fully homomorphic encryption. in G Persiano, C-M Cheng, K-M Chung & B-Y Yang (eds), Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9614, Springer Verlag, pp. 70-98, 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2016, Taipei, Taiwan, Province of China, 3/6/16. https://doi.org/10.1007/978-3-662-49384-7_4

Lai J, Deng RH, Ma C, Sakurai K, Weng J. CCA-secure keyed-fully homomorphic encryption. In Persiano G, Cheng C-M, Chung K-M, Yang B-Y, editors, Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings. Springer Verlag. 2016. p. 70-98. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-49384-7_4

Lai, Junzuo ; Deng, Robert H. ; Ma, Changshe et al. / CCA-secure keyed-fully homomorphic encryption. Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings. editor / Giuseppe Persiano ; Chen-Mou Cheng ; Kai-Min Chung ; Bo-Yin Yang. Springer Verlag, 2016. pp. 70-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{02adee5c57ec46ad828da875a1dca7ba,

title = "CCA-secure keyed-fully homomorphic encryption",

abstract = "To simultaneously achieve CCA security and homomorphic property for encryption, Emura et al. introduced a new cryptographic primitive named keyed-homomorphic encryption, in which homomorphic ciphertext manipulations can only be performed by someone holding a devoted evaluation key which, by itself, does not enable decryption. A keyed-homomorphic encryption scheme should provide CCA2 security when the evaluation key is unavailable to the adversary and remain CCA1-secure when the evaluation key is exposed. While existing keyedhomomorphic encryption schemes only allow simple computations on encrypted data, our goal is to construct CCA-secure keyed-fully homomorphic encryption (keyed-FHE) capable of evaluating any functions on encrypted data with an evaluation key. In this paper, we first introduce a new primitive called convertible identity-based fully homomorphic encryption (IBFHE), which is an IBFHE with an additional transformation functionality, and define its security notions. Then, we present a generic construction of CCA-secure keyed-FHE from IND-sID-CPA-secure convertible IBFHE and strongly EUF-CMA-secure signature. Finally, we propose a concrete construction of IND-sID-CPA-secure convertible IBFHE, resulting in the first CCAsecure keyed-FHE scheme in the standard model.",

author = "Junzuo Lai and Deng, {Robert H.} and Changshe Ma and Kouichi Sakurai and Jian Weng",

note = "Funding Information: We are grateful to the anonymous reviewers for their helpful comments. The work of Junzuo Lai was supported by National Natural Science Foundation of China (Nos. 61572235, 61300226), Research Fund for the Doctoral Program of Higher Education of China (No. 20134401120017), Guangdong Natural Science Funds for Distinguished Young Scholar (No. 2015A030306045), Natural Science Foundation of Guangdong Province (No. 2014A030310156), Pearl River S&T Nova Program of Guangzhou and Fundamental Research Funds for the Central Universities (No. 21615445). The work of Jian Weng was supported by National Natural Science Foundation of China (Nos. 61272413, 61472165, 61133014). Publisher Copyright: {\textcopyright} International Association for Cryptologic Research 2016.; 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2016 ; Conference date: 06-03-2016 Through 09-03-2016",

year = "2016",

doi = "10.1007/978-3-662-49384-7_4",

language = "English",

isbn = "9783662493830",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "70--98",

editor = "Giuseppe Persiano and Chen-Mou Cheng and Kai-Min Chung and Bo-Yin Yang",

booktitle = "Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings",

address = "Germany",

}

TY - GEN

T1 - CCA-secure keyed-fully homomorphic encryption

AU - Lai, Junzuo

AU - Deng, Robert H.

AU - Ma, Changshe

AU - Sakurai, Kouichi

AU - Weng, Jian

N1 - Funding Information: We are grateful to the anonymous reviewers for their helpful comments. The work of Junzuo Lai was supported by National Natural Science Foundation of China (Nos. 61572235, 61300226), Research Fund for the Doctoral Program of Higher Education of China (No. 20134401120017), Guangdong Natural Science Funds for Distinguished Young Scholar (No. 2015A030306045), Natural Science Foundation of Guangdong Province (No. 2014A030310156), Pearl River S&T Nova Program of Guangzhou and Fundamental Research Funds for the Central Universities (No. 21615445). The work of Jian Weng was supported by National Natural Science Foundation of China (Nos. 61272413, 61472165, 61133014). Publisher Copyright: © International Association for Cryptologic Research 2016.

PY - 2016

Y1 - 2016

N2 - To simultaneously achieve CCA security and homomorphic property for encryption, Emura et al. introduced a new cryptographic primitive named keyed-homomorphic encryption, in which homomorphic ciphertext manipulations can only be performed by someone holding a devoted evaluation key which, by itself, does not enable decryption. A keyed-homomorphic encryption scheme should provide CCA2 security when the evaluation key is unavailable to the adversary and remain CCA1-secure when the evaluation key is exposed. While existing keyedhomomorphic encryption schemes only allow simple computations on encrypted data, our goal is to construct CCA-secure keyed-fully homomorphic encryption (keyed-FHE) capable of evaluating any functions on encrypted data with an evaluation key. In this paper, we first introduce a new primitive called convertible identity-based fully homomorphic encryption (IBFHE), which is an IBFHE with an additional transformation functionality, and define its security notions. Then, we present a generic construction of CCA-secure keyed-FHE from IND-sID-CPA-secure convertible IBFHE and strongly EUF-CMA-secure signature. Finally, we propose a concrete construction of IND-sID-CPA-secure convertible IBFHE, resulting in the first CCAsecure keyed-FHE scheme in the standard model.

AB - To simultaneously achieve CCA security and homomorphic property for encryption, Emura et al. introduced a new cryptographic primitive named keyed-homomorphic encryption, in which homomorphic ciphertext manipulations can only be performed by someone holding a devoted evaluation key which, by itself, does not enable decryption. A keyed-homomorphic encryption scheme should provide CCA2 security when the evaluation key is unavailable to the adversary and remain CCA1-secure when the evaluation key is exposed. While existing keyedhomomorphic encryption schemes only allow simple computations on encrypted data, our goal is to construct CCA-secure keyed-fully homomorphic encryption (keyed-FHE) capable of evaluating any functions on encrypted data with an evaluation key. In this paper, we first introduce a new primitive called convertible identity-based fully homomorphic encryption (IBFHE), which is an IBFHE with an additional transformation functionality, and define its security notions. Then, we present a generic construction of CCA-secure keyed-FHE from IND-sID-CPA-secure convertible IBFHE and strongly EUF-CMA-secure signature. Finally, we propose a concrete construction of IND-sID-CPA-secure convertible IBFHE, resulting in the first CCAsecure keyed-FHE scheme in the standard model.

UR - http://www.scopus.com/inward/record.url?scp=84961167957&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84961167957&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-49384-7_4

DO - 10.1007/978-3-662-49384-7_4

M3 - Conference contribution

AN - SCOPUS:84961167957

SN - 9783662493830

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 70

EP - 98

BT - Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings

A2 - Persiano, Giuseppe

A2 - Cheng, Chen-Mou

A2 - Chung, Kai-Min

A2 - Yang, Bo-Yin

PB - Springer Verlag

T2 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2016

Y2 - 6 March 2016 through 9 March 2016

ER -

CCA-secure keyed-fully homomorphic encryption

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this