\input zb-basic \input zb-ioport \iteman{io-port 70675264} \itemau{Olembo, Maina M.; Schmidt, Patrick; Volkamer, Melanie} \itemti{Introducing verifiability in the POLYAS remote electronic voting system} \itemso{ARES, 127-134 (2011).} \itemcc{} \itemut{} \itemli{http://doi.ieeecomputersociety.org/10.1109/ARES.2011.26} \end