Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ. - Ben Smyth; Steven Frink; Michael R. Clarkson (IACR Cryptol. ePrint Arch., 2015)