Practical Security Analysis of E-Voting Systems. - Ahto Buldas; Triinu Mägi (IWSEC, 2007)