Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger | IEEE Conference Publication | IEEE Xplore