\input zb-basic \input zb-ioport \iteman{io-port 50183058} \itemau{Papamanthou, Charalampos; Tamassia, Roberto; Triandopoulos, Nikos} \itemti{Optimal verification of operations on dynamic sets} \itemso{IACR Cryptology ePrint Archive 2010, 455 (2010).} \itemcc{} \itemut{} \itemli{http://eprint.iacr.org/2010/455} \end