Devillez, Henri2022-09-292022-09-292022http://hdl.handle.net/10062/84330https://doi.org/10.15157/diss/030There 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.enginfo:eu-repo/semantics/openAccessAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Postal VotingRemote VotingProtocolskaughääletamineturvaprotokollidinfo:eu-repo/semantics/article