research-article

One Digit Checksum for Data Integrity Verification of Cloud-executed Homomorphic Encryption Operations

Authors:

Ahcène BounceurAuthors Info & Claims

ICFNDS '23: Proceedings of the 7th International Conference on Future Networks and Distributed Systems

Pages 71 - 75

https://doi.org/10.1145/3644713.3644724

Published: 13 May 2024 Publication History

Get Access

Abstract

Homomorphic encryption is used in many fields, including information storage, data protection, privacy preservation, blockchain, and authentication. This kind of encryption allows an untrusted third party to perform algebraic operations on encrypted data. Protecting the homomorphically encrypted data against accidental or malicious tampering attacks is still an open research challenge. In this paper, we introduce a lightweight technique that allows a data owner to verify the integrity of homomorphically encrypted results performed in the cloud. The proposed method is quick, simple, and applicable, as it depends on adding a single digit to the encrypted message before storing it in the cloud. This digit represents verification proof and is used later to ensure verifiable homomorphic encryption. Our technique can be integrated with any homomorphic scheme that uses encryption with non-isolated plaintext.

References

[1]

Ruba Awadallah, Azman Samsudin, and Mishal Almazrooie. 2021. Verifiable Homomorphic Encrypted Computations for Cloud Computing. International Journal of Advanced Computer Science and Applications 12, 10 (2021).

Crossref

Google Scholar

[2]

Ahmed El-Yahyaoui and Mohamed Kettani. 2019. A verifiable fully homomorphic encryption scheme for cloud computing security. Technologies 7, 1 (2019), 21. https://doi.org/10.3390/technologies7010021

Crossref

Google Scholar

[3]

Dario Fiore, Rosario Gennaro, and Valerio Pastro. 2014. Efficiently verifiable computation on encrypted data. In Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, 844–855. https://doi.org/10.1145/2660267.2660366

Digital Library

Google Scholar

[4]

Mohammad Hammoudeh, Gregory Epiphaniou, Sana Belguith, Devrim Unal, Bamidele Adebisi, Thar Baker, A.S.M. Kayes, and Paul Watters. 2020. A service-oriented approach for sensing in the Internet of Things: Intelligent transportation systems and privacy use cases. IEEE Sensors Journal 21, 14 (2020), 15753–15761.

Crossref

Google Scholar

[5]

Ruwei Huang, Zhikun Li, and Jianan Zhao. 2019. A verifiable fully homomorphic encryption scheme. In Security, Privacy, and Anonymity in Computation, Communication, and Storage: 12th International Conference, SpaCCS 2019, Atlanta, GA, USA, July 14–17, 2019, Proceedings 12. Springer, 412–426.

Crossref

Google Scholar

[6]

Fangyuan Jin, Yanqin Zhu, and Xizhao Luo. 2012. Verifiable fully homomorphic encryption scheme. In 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet). IEEE, 743–746.

Crossref

Google Scholar

[7]

Mostefa Kara, Konstantinos Karampidis, Giorgos Papadourakis, Abdelkader Laouid, and Muath AlShaikh. 2023. A Probabilistic Public-Key Encryption with Ensuring Data Integrity in Cloud Computing. In 2023 International Conference on Control, Artificial Intelligence, Robotics & Optimization (ICCAIRO). IEEE, 59–66.

Crossref

Google Scholar

[8]

Mostefa Kara, Konstantinos Karampidis, Zaoui Sayah, Abdelkader Laouid, Giorgos Papadourakis, and Mohammad Nadir Abid. 2023. A Password-Based Mutual Authentication Protocol via Zero-Knowledge Proof Solution. In International Conference on Applied CyberSecurity. Springer, 31–40.

Crossref

Google Scholar

[9]

Farid Lalem, Abdelkader Laouid, Mostefa Kara, Mohammed Al-Khalidi, and Amna Eleyan. 2023. A Novel Digital Signature Scheme for Advanced Asymmetric Encryption Techniques. Applied Sciences 13, 8 (2023), 5172.

Crossref

Google Scholar

[10]

Fucai Luo and Kunpeng Wang. 2018. Verifiable decryption for fully homomorphic encryption. In Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings 21. Springer, 347–365.

Google Scholar

[11]

Saci Medileh, Abdelkader Laouid, Mohammad Hammoudeh, Mostefa Kara, Tarek Bejaoui, Amna Eleyan, and Mohammed Al-Khalidi. 2023. A Multi-Key with Partially Homomorphic Encryption Scheme for Low-End Devices Ensuring Data Integrity. Information 14, 5 (2023), 263.

Crossref

Google Scholar

[12]

Steve Moffat, Mohammad Hammoudeh, and Robert Hegarty. 2017. A survey on ciphertext-policy attribute-based encryption (CP-ABE) approaches to data security on mobile devices and its application to IoT. In Proceedings of the International Conference on Future Networks and Distributed Systems.

Digital Library

Google Scholar

[13]

Alexander Viand, Christian Knabenhans, and Anwar Hithnawi. 2023. Verifiable Fully Homomorphic Encryption. arXiv preprint arXiv:2301.07041 (2023).

Google Scholar

[14]

Jinglin Zou, Debiao He, Sherali Zeadally, Neeraj Kumar, Huaqun Wang, and Kkwang Raymond Choo. 2021. Integrated blockchain and cloud computing systems: A systematic survey, solutions, and challenges. ACM Computing Surveys (CSUR) 54, 8 (2021), 1–36.

Digital Library

Google Scholar

Cited By

View all

Hadi Saleh AMohammed M(2024)Enhancing Data Security through Hybrid Error Detection: Combining Cyclic Redundancy Check (CRC) and Checksum TechniquesInternational Journal of Electrical and Electronics Research10.37391/ijeer.12031212:3(813-826)Online publication date: 25-Jul-2024
https://doi.org/10.37391/ijeer.120312

Index Terms

One Digit Checksum for Data Integrity Verification of Cloud-executed Homomorphic Encryption Operations

Recommendations

Fully Homomorphic Encryption Beyond IND-CCA1 Security: Integrity Through Verifiability
Advances in Cryptology – EUROCRYPT 2024
Abstract
We focus on the problem of constructing fully homomorphic encryption (FHE) schemes that achieve some meaningful notion of adaptive chosen-ciphertext security beyond $CCA1$ . Towards this, we propose a new notion, called security against verified ...
Homomorphic encryption supporting logical operations
ICTCE '17: Proceedings of the 2017 International Conference on Telecommunications and Communication Engineering

Homomorphic encryption is a form of encryption that allows computations to be carried out on ciphertext and generate an encrypted result which, when decrypted, matches the result of operations performed on the plaintexts. The feature of homomorphic ...
Many-to-one homomorphic encryption scheme

The existing homomorphic encryption schemes are mostly in the form of "one-to-one" deployment models, where one party usually encrypts the plaintext and another party decrypts the ciphertext in public key cryptosystem. This form of cryptography loses ...

Comments

Information & Contributors

Information

Published In

ICFNDS '23: Proceedings of the 7th International Conference on Future Networks and Distributed Systems

December 2023

808 pages

ISBN:9798400709036

DOI:10.1145/3644713

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 May 2024

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

ICFNDS '23

ICFNDS '23: The International Conference on Future Networks and Distributed Systems

December 21 - 22, 2023

Dubai, United Arab Emirates

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
8
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hadi Saleh AMohammed M(2024)Enhancing Data Security through Hybrid Error Detection: Combining Cyclic Redundancy Check (CRC) and Checksum TechniquesInternational Journal of Electrical and Electronics Research10.37391/ijeer.12031212:3(813-826)Online publication date: 25-Jul-2024
https://doi.org/10.37391/ijeer.120312

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Abstract

References

Cited By

Index Terms

Recommendations

Fully Homomorphic Encryption Beyond IND-CCA1 Security: Integrity Through Verifiability

Homomorphic encryption supporting logical operations

Many-to-one homomorphic encryption scheme

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

HTML Format

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations