Implementation of Verified Set Operation Protocols Based on Bilinear Accumulators.

Luca Ferretti, Michele Colajanni, Mirco Marchetti

Browse the full CANS paper archive.