On remote and voter-verifiable voting - Araújo, Roberto (2008)