Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme | IEEE Conference Publication | IEEE Xplore