International audienceWe propose a new measure for privacy of votes. Our measure relies on computational conditional entropy, an extension of the traditional notion of entropy that incorporates both information-theoretic and computational aspects. As a result, we capture in a unified manner privacy breaches due to two orthogonal sources of insecurity: combinatorial aspects that have to do with the number of participants, the distribution of their votes and published election outcome as well as insecurity of the cryptography used in an implementation. Our privacy measure overcomes limitations of two previous approaches to defining vote privacy and we illustrate its applicability through several case studies. We offer a generic way of applyin...
Abstract—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot ...
International audienceRecently an attack on ballot privacy in Helios has been discovered [20], which...
International audiencePrivacy is one of the main issues in electronic voting. We propose a family of...
International audienceWe propose a new measure for privacy of votes. Our measure relies on computati...
We propose a new measure for privacy of votes. Our measure relies on computational conditional entro...
This paper provides a definition for perfect privacy in electronic and other voting systems, and an ...
International audienceWe critically survey game-based security definitions for the privacy of voting...
International audienceElectronic voting promises the possibility of convenient and efficient systems...
International audienceIn an election, it is imperative that the vote of the single voters remain ano...
Electronic voting promises the possibility of convenient and efficient systems for recording and tal...
Abstract—We critically survey game-based security definitions for the privacy of voting schemes. In ...
We critically survey game-based security definitions for the privacy of voting schemes. In addition ...
International audienceWe provide the first machine-checked proof of privacy-related properties (incl...
Abstract—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot ...
International audienceRecently an attack on ballot privacy in Helios has been discovered [20], which...
International audiencePrivacy is one of the main issues in electronic voting. We propose a family of...
International audienceWe propose a new measure for privacy of votes. Our measure relies on computati...
We propose a new measure for privacy of votes. Our measure relies on computational conditional entro...
This paper provides a definition for perfect privacy in electronic and other voting systems, and an ...
International audienceWe critically survey game-based security definitions for the privacy of voting...
International audienceElectronic voting promises the possibility of convenient and efficient systems...
International audienceIn an election, it is imperative that the vote of the single voters remain ano...
Electronic voting promises the possibility of convenient and efficient systems for recording and tal...
Abstract—We critically survey game-based security definitions for the privacy of voting schemes. In ...
We critically survey game-based security definitions for the privacy of voting schemes. In addition ...
International audienceWe provide the first machine-checked proof of privacy-related properties (incl...
Abstract—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot ...
International audienceRecently an attack on ballot privacy in Helios has been discovered [20], which...
International audiencePrivacy is one of the main issues in electronic voting. We propose a family of...