CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis 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.
| Titolo: | Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators | |
| Autore/i: | FERRETTI, LUCA; COLAJANNI, Michele; MARCHETTI, Mirco | |
| Autore/i Unibo: | ||
| Anno: | 2016 | |
| Titolo del libro: | Lecture Notes in Computer Science | |
| Pagina iniziale: | 626 | |
| Pagina finale: | 636 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-48965-0_41 | |
| 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. | |
| Data stato definitivo: | 1-mar-2021 | |
| Appare nelle tipologie: |
File in questo prodotto:
Copyright © 2022