Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting | IEEE Journals & Magazine | IEEE Xplore