Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol. - Khaoula Marzouki; Amira Radhouani; Narjes Ben Rajeb (Int. J. Inf. Secur. Priv., 2013)