Sharif Digital Repository

Electronic voting refers to voting methods that is done using electronic devices or via the Internet or Web. Helios and Civitas protocols are among the recent protocols introduced in this field. Importance and high sensitivity of electronic voting protocols has led researchers to pay high attention about their security analysis. In recent years, different approaches have been used to inspect and analyze electronic voting protocols. In many of such approaches, analysis had been done in a very abstract environment and without considering the operational requirements.The purpose of this thesis is to evaluate the security features of electronic voting protocols, considering their operational and... 

Electronic voting is one of the applications of electronic systems, in which collection and tallying the votes are performed electronically. In electronic voting systems, cryptography is used to provide security requirements but defects of the cryptography have made the electronic voting protocol designers to use strong assumptions which are impractical or hard to implement.In this research, some of the strong assumptions in electronic voting protocols are studied and the soloution of solving them is given. First, the assumption of trusting to the tally authority in electronic voting protocols which are based on deniable authentications is considered and a new internet voting protocol based...