EVIV: An end-to-end verifiable Internet voting system - Joaquim, Rui (2013)