The main goal of this project is to develop methods that allow realistic, rigorous and automated formal verification of security for electronic voting protocols, with a focus on vote privacy. We will address several challenges related to this objective: we will develop precise specifications for the properties that we want to achieve, for the protocols implementing them, and for the possible actions of the adversary. Furthermore, we will also develop techniques that improve automated verification such that we can have high assurance automated guarantees of security for electronic voting systems.