Skip to Main content Skip to Navigation
New interface
Conference papers

Secure and Verifiable Outsourcing of Sequence Comparisons

Abstract : With the advent of cloud computing, secure outsourcing techniques of sequence comparisons are becoming increasingly valuable, especially for clients with limited resources. One of the most critical functionalities in data outsourcing is verifiability. However, there is very few secure outsourcing scheme for sequence comparisons that the clients can verify whether the servers honestly execute a protocol or not. In this paper, we tackle the problem by integrating the technique of garbled circuit with homomorphic encryption. As compared to existing schemes, our proposed solution enables clients to efficiently detect the dishonesty of servers. In particular, our construction re-garbles the circuit only for malformed responses and hence is very efficient. Besides, we also present the formal analysis for our proposed construction.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, March 1, 2017 - 11:04:28 AM
Last modification on : Wednesday, December 15, 2021 - 12:42:02 PM
Long-term archiving on: : Tuesday, May 30, 2017 - 2:31:29 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Yansheng Feng, Hua Ma, Xiaofeng Chen, Hui Zhu. Secure and Verifiable Outsourcing of Sequence Comparisons. 1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.243-252, ⟨10.1007/978-3-642-36818-9_25⟩. ⟨hal-01480179⟩



Record views


Files downloads