Today, there's a wide understanding that traditional voting systems should be computerized to reduce the vote counting time, provide evidence that a vote is being correctly accounted, reduce fraud, remove errors in filling out ballots, and improve system usability for people with special needs. In fact, E-voting are increasingly replacing traditional paper-based systems. This raises several security issues, given that democratic principles depend on the electoral process's integrity. Providing security to voting systems isn't trivial. Beyond the classic security properties (integrity, confidentiality, and availability), other properties need to be ensured.