We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a vote, can be attributed to a user, in this case a voter. We validate the formal treatment of data anonymity by analyzing a well-known electronic voting protocol
Privacy is a necessary requirement for voting. Without privacy, voters can be forced to vote in spec...
Abstract—Transparency is crucial to ensuring fair, honest elections. Transparency is achieved by mak...
Electronic voting typically aims at two main security goals: vote privacy and verifiability. These t...
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal con...
AbstractWe study one of the many aspects of privacy, which is referred to as data anonymity, in a fo...
According to international law, anonymity of the voter is a fundamental precondition for democratic ...
Abstract. We present formal definitions of anonymity for voting protocols using the process algebra ...
A wealth of protocols for electronic voting have been proposed in the literature over the past years...
One of the most challenging aspects in computer-supported voting is to combine the apparently confli...
International audienceIn an election, it is imperative that the vote of the single voters remain ano...
Abstract—In this paper we review a wide range of existing definitions for anonymity defined in diffe...
Abstract. Anonymity and verifiability are crucial security requirements for voting. Still, they seem...
Abstract: Voter privacy and verifiability are fundamental security concepts for elec-tronic voting. ...
In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any ...
International audienceNowadays, it is a well-known fact that only formal methods can provide a proof...
Privacy is a necessary requirement for voting. Without privacy, voters can be forced to vote in spec...
Abstract—Transparency is crucial to ensuring fair, honest elections. Transparency is achieved by mak...
Electronic voting typically aims at two main security goals: vote privacy and verifiability. These t...
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal con...
AbstractWe study one of the many aspects of privacy, which is referred to as data anonymity, in a fo...
According to international law, anonymity of the voter is a fundamental precondition for democratic ...
Abstract. We present formal definitions of anonymity for voting protocols using the process algebra ...
A wealth of protocols for electronic voting have been proposed in the literature over the past years...
One of the most challenging aspects in computer-supported voting is to combine the apparently confli...
International audienceIn an election, it is imperative that the vote of the single voters remain ano...
Abstract—In this paper we review a wide range of existing definitions for anonymity defined in diffe...
Abstract. Anonymity and verifiability are crucial security requirements for voting. Still, they seem...
Abstract: Voter privacy and verifiability are fundamental security concepts for elec-tronic voting. ...
In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any ...
International audienceNowadays, it is a well-known fact that only formal methods can provide a proof...
Privacy is a necessary requirement for voting. Without privacy, voters can be forced to vote in spec...
Abstract—Transparency is crucial to ensuring fair, honest elections. Transparency is achieved by mak...
Electronic voting typically aims at two main security goals: vote privacy and verifiability. These t...
DOI
Add to ORKG