A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security
Performing smart computations in a context of cloud computing and big data is highly appreciated today. It allows customers to fully benefit from cloud computing capacities (such as processing or storage) without losing confidentiality of sensitive data. Fully homomorphic encryption (FHE) is a smart...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2019-02-01
|
Series: | Technologies |
Subjects: | |
Online Access: | https://www.mdpi.com/2227-7080/7/1/21 |
id |
doaj-969bf57684f74a00acbacbe2f575c385 |
---|---|
record_format |
Article |
spelling |
doaj-969bf57684f74a00acbacbe2f575c3852020-11-24T21:46:32ZengMDPI AGTechnologies2227-70802019-02-01712110.3390/technologies7010021technologies7010021A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing SecurityAhmed EL-YAHYAOUI0Mohamed Dafir ECH-CHERIF EL KETTANI1CEDOC ST2I ENSIAS, Mohammed V University in Rabat; Rabat 723, MoroccoCEDOC ST2I ENSIAS, Mohammed V University in Rabat; Rabat 723, MoroccoPerforming smart computations in a context of cloud computing and big data is highly appreciated today. It allows customers to fully benefit from cloud computing capacities (such as processing or storage) without losing confidentiality of sensitive data. Fully homomorphic encryption (FHE) is a smart category of encryption schemes that enables working with the data in its encrypted form. It permits us to preserve confidentiality of our sensible data and to benefit from cloud computing capabilities. While FHE is combined with verifiable computation, it offers efficient procedures for outsourcing computations over encrypted data to a remote, but non-trusted, cloud server. The resulting scheme is called Verifiable Fully Homomorphic Encryption (VFHE). Currently, it has been demonstrated by many existing schemes that the theory is feasible but the efficiency needs to be dramatically improved in order to make it usable for real applications. One subtle difficulty is how to efficiently handle the noise. This paper aims to introduce an efficient and symmetric verifiable FHE based on a new mathematic structure that is noise free. In our encryption scheme, the noise is constant and does not depend on homomorphic evaluation of ciphertexts. The homomorphy of our scheme is obtained from simple matrix operations (addition and multiplication). The running time of the multiplication operation of our encryption scheme in a cloud environment has an order of a few milliseconds.https://www.mdpi.com/2227-7080/7/1/21verifiablefully homomorphic encryptionLipschitz integerscloudAzuresecuritysmart computations |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Ahmed EL-YAHYAOUI Mohamed Dafir ECH-CHERIF EL KETTANI |
spellingShingle |
Ahmed EL-YAHYAOUI Mohamed Dafir ECH-CHERIF EL KETTANI A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security Technologies verifiable fully homomorphic encryption Lipschitz integers cloud Azure security smart computations |
author_facet |
Ahmed EL-YAHYAOUI Mohamed Dafir ECH-CHERIF EL KETTANI |
author_sort |
Ahmed EL-YAHYAOUI |
title |
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security |
title_short |
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security |
title_full |
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security |
title_fullStr |
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security |
title_full_unstemmed |
A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security |
title_sort |
verifiable fully homomorphic encryption scheme for cloud computing security |
publisher |
MDPI AG |
series |
Technologies |
issn |
2227-7080 |
publishDate |
2019-02-01 |
description |
Performing smart computations in a context of cloud computing and big data is highly appreciated today. It allows customers to fully benefit from cloud computing capacities (such as processing or storage) without losing confidentiality of sensitive data. Fully homomorphic encryption (FHE) is a smart category of encryption schemes that enables working with the data in its encrypted form. It permits us to preserve confidentiality of our sensible data and to benefit from cloud computing capabilities. While FHE is combined with verifiable computation, it offers efficient procedures for outsourcing computations over encrypted data to a remote, but non-trusted, cloud server. The resulting scheme is called Verifiable Fully Homomorphic Encryption (VFHE). Currently, it has been demonstrated by many existing schemes that the theory is feasible but the efficiency needs to be dramatically improved in order to make it usable for real applications. One subtle difficulty is how to efficiently handle the noise. This paper aims to introduce an efficient and symmetric verifiable FHE based on a new mathematic structure that is noise free. In our encryption scheme, the noise is constant and does not depend on homomorphic evaluation of ciphertexts. The homomorphy of our scheme is obtained from simple matrix operations (addition and multiplication). The running time of the multiplication operation of our encryption scheme in a cloud environment has an order of a few milliseconds. |
topic |
verifiable fully homomorphic encryption Lipschitz integers cloud Azure security smart computations |
url |
https://www.mdpi.com/2227-7080/7/1/21 |
work_keys_str_mv |
AT ahmedelyahyaoui averifiablefullyhomomorphicencryptionschemeforcloudcomputingsecurity AT mohameddafirechcherifelkettani averifiablefullyhomomorphicencryptionschemeforcloudcomputingsecurity AT ahmedelyahyaoui verifiablefullyhomomorphicencryptionschemeforcloudcomputingsecurity AT mohameddafirechcherifelkettani verifiablefullyhomomorphicencryptionschemeforcloudcomputingsecurity |
_version_ |
1725901538088452096 |