Secure and verifiable outsourcing of sequence comparisons

Authors:
Yansheng Feng;Hua Ma;Xiaofeng Chen;Hui Zhu
Affiliations:
Department of Mathematics, Xidian University, Xi'an, P.R. China;Department of Mathematics, Xidian University, Xi'an, P.R. China;State Key Laboratory of Integrated Service Networks, Xidian University, Xi'an, P.R. China;Network and Data Security Key Laboratory of Sichuan Province, Xidian University, Chengdu, P.R. China
Venue:
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Year:
2013

Citing 12
Cited 0

Secure and private sequence comparisons

Proceedings of the 2003 ACM workshop on Privacy in the electronic society
Secure outsourcing of sequence comparisons

International Journal of Information Security - Special issue on SC 2003
How to generate and exchange secrets

SFCS '86 Proceedings of the 27th Annual Symposium on Foundations of Computer Science
Towards Practical Privacy for Genomic Computation

SP '08 Proceedings of the 2008 IEEE Symposium on Security and Privacy
A Proof of Security of Yao’s Protocol for Two-Party Computation

Journal of Cryptology
Fully homomorphic encryption using ideal lattices

Proceedings of the forty-first annual ACM symposium on Theory of computing
Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima

CANS '09 Proceedings of the 8th International Conference on Cryptology and Network Security
Secure outsourcing of DNA searching via finite automata

DBSec'10 Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy
Non-interactive verifiable computing: outsourcing computation to untrusted workers

CRYPTO'10 Proceedings of the 30th annual conference on Advances in cryptology
Faster secure two-party computation using garbled circuits

SEC'11 Proceedings of the 20th USENIX conference on Security
Secure outsourcing of sequence comparisons

PET'04 Proceedings of the 4th international conference on Privacy Enhancing Technologies
How to delegate and verify in public: verifiable computation from attribute-based encryption

TCC'12 Proceedings of the 9th international conference on Theory of Cryptography

Quantified Score

Hi-index	0.00

Visualization

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.