%0 Conference Proceedings %T Guaranteeing Correctness of Bulk Operations in Outsourced Databases %+ Università degli Studi di Modena e Reggio Emilia = University of Modena and Reggio Emilia (UNIMORE) %A Ferretti, Luca %A Colajanni, Michele %A Marchetti, Mirco %Z Part 2: Security and Privacy in Databases %< avec comité de lecture %( Lecture Notes in Computer Science %B 30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec) %C Trento, Italy %Y Silvio Ranise %Y Vipin Swarup %I Springer International Publishing %3 Data and Applications Security and Privacy XXX %V LNCS-9766 %P 37-51 %8 2016-07-18 %D 2016 %R 10.1007/978-3-319-41483-6_3 %K Database %K Outsourcing %K Cloud %K Integrity %K Authenticity %K Completeness %K Aggregate %K Signature %K Accumulator %K Bilinear map %K ECRH %K BLS %Z Computer Science [cs]Conference papers %X The adoption of public cloud services, as well as other data outsourcing solutions, raises concerns about confidentiality and integrity of information managed by a third party. By focusing on data integrity, we propose a novel protocol that allows cloud customers to verify the correctness of results produced by key-value databases. The protocol is designed for supporting efficient insertion and retrieval of large sets of data through bulk operations in read and append-only workloads. In these contexts, the proposed protocol improves state-of-the-art by reducing network overheads thanks to an original combination of aggregate bilinear map signatures and extractable collision resistant hash functions. %G English %Z TC 11 %Z WG 11.3 %2 https://inria.hal.science/hal-01633666/document %2 https://inria.hal.science/hal-01633666/file/428203_1_En_3_Chapter.pdf %L hal-01633666 %U https://inria.hal.science/hal-01633666 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-WG %~ IFIP-TC11 %~ IFIP-WG11-3 %~ IFIP-DBSEC %~ IFIP-LNCS-9766