Anyone can independently verify that all votes have been counted correctly. The verifiability property can be further classified into individual verifiability and universal verifiability . A system is individually verifiable if it allows voters to verify their own votes and, possibly, correct any mistakes they might find without sacrificing their privacy. The problem with this level of verifiability is that the burden is on the voter to verify their vote an unreasonable requirement for the average voter. Systems that are universally verifiable allow anyone to verify the entire election, including election officials, observers, and voters.
All voters can make sure their vote has been taken into account in the final tabulation.
No voter can prove that they voted in a particular way. This property is important for the prevention of vote buying and extortion. Voters can only sell their votes if they are able to prove to the buyer that they actually voted a certain way. A voter can change their vote within a given period of time. This is typically not allowed in civic elections.