Abstract
Pr^et a Voter is an electronic voting system with very high security properties. We aim to make the system truly usable and applicable in elections with many races and candidates by allowing the vote to be formed using a voting machine and printing a minimalistic receipt. We also introduce the procedure/technology mix concept to describe the use of procedures, peo- ple and technology to secure electronic voting systems.