Secure postal voting

There has been several recent attempts to enhance postal voting systems with the technologies of end-to-end voting systems to obtain the best of both worlds. Our contribution is two fold. We rst propose a postal voting protocol that uses ballots interpretable by the voters, and then we give a security model in a simpler variant of the universally composable model (SUC) for which our protocol is provably secure