In this paper we propose improvements on the Helios voting protocol such that the audit data published by the authority provides everlasting privacy, as opposed to the computational privacy provided currently. We achieve this with minor adjustments to the current implementation. For the homomorphic Helios variant we use Pedersen commitments to encode the vote, together with homomorphic encryption over a separate, private channel between the user and Helios server to send the decommitment values. For the mix-net variant we apply a recent result which shows that mixing with everlasting privacy is possible. Observe that we do not claim everlasting privacy towards the server, which, if dishonest, could try to break the homomorphic encryptio...
In our previous work, we have shown that the Helios 2.0 electronic voting protocol does not satisfy ...
International audienceMost electronic voting schemes aim at providing verifiability: voters should t...
We propose a new measure for privacy of votes. Our measure relies on computational conditional entro...
In this paper we propose improvements on the Helios voting protocol such that the audit data publish...
International audienceRecent results show that the current implementation of Helios, a practical e-v...
The Helios voting scheme is well studied including formal proofs for verifiability and ballot privac...
The Helios voting scheme is well studied including formal proofs for verifiability and ballot privac...
Real-world elections often require threshold cryptosystems so that any t out of ` trustees can proce...
International audienceWe provide the first machine-checked proof of privacy-related properties (incl...
Internet voting has long been a topic both of public discussion and also of scientific research. Whi...
Abstract. Will my vote remain secret in 20 years? This is a natural question in the context of elect...
We present Helios, an end-to-end verifiable internet voting system. We describe the existing protoco...
Helios 2.0 is a web-based end-to-end verifiable electronic voting system, suitable for use in low-co...
International audienceHelios 2.0 is an open-source web-based end-to-end verifiable electronic voting...
Cryptology ePrint Archive, Report 2013/177International audienceMost voting schemes aim at providing...
In our previous work, we have shown that the Helios 2.0 electronic voting protocol does not satisfy ...
International audienceMost electronic voting schemes aim at providing verifiability: voters should t...
We propose a new measure for privacy of votes. Our measure relies on computational conditional entro...
In this paper we propose improvements on the Helios voting protocol such that the audit data publish...
International audienceRecent results show that the current implementation of Helios, a practical e-v...
The Helios voting scheme is well studied including formal proofs for verifiability and ballot privac...
The Helios voting scheme is well studied including formal proofs for verifiability and ballot privac...
Real-world elections often require threshold cryptosystems so that any t out of ` trustees can proce...
International audienceWe provide the first machine-checked proof of privacy-related properties (incl...
Internet voting has long been a topic both of public discussion and also of scientific research. Whi...
Abstract. Will my vote remain secret in 20 years? This is a natural question in the context of elect...
We present Helios, an end-to-end verifiable internet voting system. We describe the existing protoco...
Helios 2.0 is a web-based end-to-end verifiable electronic voting system, suitable for use in low-co...
International audienceHelios 2.0 is an open-source web-based end-to-end verifiable electronic voting...
Cryptology ePrint Archive, Report 2013/177International audienceMost voting schemes aim at providing...
In our previous work, we have shown that the Helios 2.0 electronic voting protocol does not satisfy ...
International audienceMost electronic voting schemes aim at providing verifiability: voters should t...
We propose a new measure for privacy of votes. Our measure relies on computational conditional entro...