This paper proposes an efficient protocol for verifiable delegation of computation over outsourced set collections. It improves state of the art protocols by using asymmetric bilinear pairing settings for improved performance with respect to previous proposals based on symmetric settings. Moreover, it extends update operations by supporting efficient modifications over multiple sets. With respect to previous work the proposed protocol has a modular design, that clearly identifies its main building blocks and well-defined interfaces among them. This novel conceptualization allows easier auditing of the protocol security properties and serves as the blueprint of a novel implementation that is released publicly (https://​weblab.​ing.​unimore.​it/​people/​ferretti/​versop/​). To the best of our knowledge, this is the first public implementation of a protocol for verifiable sets operations.

FERRETTI, L., COLAJANNI, M., MARCHETTI, M. (2016). Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators [10.1007/978-3-319-48965-0_41].

Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators

COLAJANNI, Michele;MARCHETTI, Mirco
2016

Abstract

This paper proposes an efficient protocol for verifiable delegation of computation over outsourced set collections. It improves state of the art protocols by using asymmetric bilinear pairing settings for improved performance with respect to previous proposals based on symmetric settings. Moreover, it extends update operations by supporting efficient modifications over multiple sets. With respect to previous work the proposed protocol has a modular design, that clearly identifies its main building blocks and well-defined interfaces among them. This novel conceptualization allows easier auditing of the protocol security properties and serves as the blueprint of a novel implementation that is released publicly (https://​weblab.​ing.​unimore.​it/​people/​ferretti/​versop/​). To the best of our knowledge, this is the first public implementation of a protocol for verifiable sets operations.
2016
Lecture Notes in Computer Science
626
636
FERRETTI, L., COLAJANNI, M., MARCHETTI, M. (2016). Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators [10.1007/978-3-319-48965-0_41].
FERRETTI, LUCA; COLAJANNI, Michele; MARCHETTI, Mirco
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/812070
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact