Josh Benaloh, a Senior Principal Cryptographer at Microsoft Research presents verifiable election technologies and how voters can know their votes have been counted.