A Taxonomy Refining the Security Requirements for Electronic Voting: Analyzing Helios as a Proof of Concept | IEEE Conference Publication | IEEE Xplore