Luca Ferretti, Michele Colajanni, Mirco Marchetti. Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators. In Sara Foresti, Giuseppe Persiano, editors, Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings. Volume 10052 of Lecture Notes in Computer Science, pages 626-636, 2016. [doi]
Abstract is missing.