Titlebook: Electronic Voting; Second International Robert Krimmer,Melanie Volkamer,Carsten Schürmann Conference proceedings 2017 Springer Internationa

选民

书目名称Electronic Voting影响因子(影响力)




书目名称Electronic Voting影响因子(影响力)学科排名




书目名称Electronic Voting网络公开度




书目名称Electronic Voting网络公开度学科排名




书目名称Electronic Voting被引频次




书目名称Electronic Voting被引频次学科排名




书目名称Electronic Voting年度引用




书目名称Electronic Voting年度引用学科排名




书目名称Electronic Voting读者反馈




书目名称Electronic Voting读者反馈学科排名

HAIL

Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations, field in the last decade or so in terms of formalizing security requirements and formally analyzing e-voting systems. This paper summarizes some of the achievements and lessons learned, which, among others, challenge common believes about the role of and the relationships between central security r

提升

Voting in E-Participation: A Set of Requirements to Support Accountability and Trust by Electoral Coting result on the outcome of the e-participation process might differ a lot as voting can relate to approving, polling or co-decision making. The greater the impact of the electronic voting on the outcomes of the e-participation process, the more important become the regulations and technologies t

合唱队

The Weakness of Cumulative Voting,gle candidate. It is sometimes used to elect members to a legislative body such as a parliament or city council, and its purpose is to achieve a more proportional representation than that which results from many other voting systems. Cumulative voting is most commonly used in municipal elections in

MAIM

No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex against their legal definition and only if they can produce an easily verifiable certificate for the correctness of the count. We then show that both are achievable for the Schulze method of vote-counting, even when the election involves millions of ballots. We argue that our methodology is applica

谦虚的人

谦虚的人

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy,allow voters to retrieve their votes from a public bulletin board and a commitment scheme that allows them to hide their vote from a potential coercer. So far, however, Selene was never studied formally. The Selene protocol was neither completely formalized, nor were the correctness proofs for Vote-

Asymptomatic

抵制

Updated European Standards for E-voting,ndation to member States, Rec(2004)11 and the two 2010 Guidelines on certification and on transparency were recently repealed and replaced by Rec(2017)5 on Standards for e-voting and the associated Guidelines on its implementation. We discuss the 2017 Recommendation and the main novelties introduced

expire

A Formally Verified Single Transferable Voting Scheme with Fractional Values, of vote counting as application of a sequence of rules. The rules are an intermediate step for specifying the protocol for vote-counting in a precise symbolic language. We then formalise these rules in Coq. This reduces the gap between the legislation and formalisation so that, without knowledge of