A Formal Approach to Coercion Resistance and Its Application to E-Voting | Publicación