%0 Conference Proceedings
%T Secure and Verifiable Outsourcing of Sequence Comparisons
%+ Xidian University
%A Feng, Yansheng
%A Ma, Hua
%A Chen, Xiaofeng
%A Zhu, Hui
%Z Part 2: Asian Conference on Availability, Reliability and Security (AsiaARES)
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st International Conference on Information and Communication Technology (ICT-EurAsia)
%C Yogyakarta, Indonesia
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Khabib Mustofa
%Y Erich J. Neuhold
%Y A Min Tjoa
%Y Edgar Weippl
%Y Ilsun You
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Information and Communicatiaon Technology
%V LNCS-7804
%P 243-252
%8 2013-03-25
%D 2013
%R 10.1007/978-3-642-36818-9_25
%K Outsourcing
%K Garbled Circuit
%K Verifiable Computation
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 5
%Z TC 8
%2 https://inria.hal.science/hal-01480179/document
%2 https://inria.hal.science/hal-01480179/file/978-3-642-36818-9_25_Chapter.pdf
%L hal-01480179
%U https://inria.hal.science/hal-01480179
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-TC8
%~ IFIP-ICT-EURASIA
%~ IFIP-LNCS-7804