Farnel
Encyclopedia
Farnel—this word means basket in Portuguese
—is a paper based voting protocol conceived by Ricardo Felipe Custódio in 2001. His master student Augusto Jun Devegili was responsible for the name and for the first electronic version of the protocol. Roberto Araujo takes Farnel and has proposed severals improvements on it. He also did his master thesis at Computer Security Laboratory (LabSEC - http://www.labsec.ufsc.br) managed by prof. Custódio.
es. One of the ballot boxes (the first one) is able to receive ballots, shuffle its contents, and output ballots; this ballot box is initialized before the election with votes signed by a voting authority. The other ballot box (the second one) begins the election empty. The voting phase is described as following:
1. The voter receives a blank ballot signed by the voting authority, marks her option, and casts it into the first ballot box;
2. The ballot box shuffles its ballots and returns a random ballot to the voter;
3. To finish the process, the voter signs the ballot received and casts it into the second ballot box.
In the tally
phase, the ballots from the first ballot box are signed by the authority and cast into the second ballot box. To obtain the voting results, all ballots of this ballot box are counted and the ballots cast before the voting are discounted.
See “A Verifiable Voting Protocol based on Farnel” and “An electronic scheme for the Farnel paper-based voting protocol” for more details about the scheme. These papers are available at http://www.cdc.informatik.tu-darmstadt.de/mitarbeiter/rsa.html
– Brazil
– in 2001. It was first presented at the “3o. Simpósio de Segurança da Informação” (http://www.ssi.org.br/) - Brazil - in 2001. Though, it was never published as a paper and there are just unpublished notes about it.
From the paper-based Farnel scheme, other works were accomplished. Augusto Devegilli proposed the first electronic version of the Farnel in his Master Thesis (http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao-Augusto-Devegili-abstract). In the same year, Fabiano Castro and Carlo Mazzi presented an implementation of the Farnel in their Undergraduate Thesis (http://www.labsec.ufsc.br/tiki-index.php?page=Fabiano-Mazzi-TCC-abstract). In 2002 Roberto Araujo presented an improved electronic version of the Farnel in his Master Thesis (http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao-Roberto-Samarone-abstract); This new version was also published in the “II Workshop em Segurança de Sistemas Computacionais” (WSEG) – Brazil - jointly with Custodio and Devegilli. In 2006, Roberto Araujo et al. proposed a new electronic version of the Farnel and also described the paper-based version of it.
Portuguese language
Portuguese is a Romance language that arose in the medieval Kingdom of Galicia, nowadays Galicia and Northern Portugal. The southern part of the Kingdom of Galicia became independent as the County of Portugal in 1095...
—is a paper based voting protocol conceived by Ricardo Felipe Custódio in 2001. His master student Augusto Jun Devegili was responsible for the name and for the first electronic version of the protocol. Roberto Araujo takes Farnel and has proposed severals improvements on it. He also did his master thesis at Computer Security Laboratory (LabSEC - http://www.labsec.ufsc.br) managed by prof. Custódio.
Short description
The Farnel paper-based voting scheme is based on signatures and employs two ballot boxBallot box
A ballot box is a temporarily sealed container, usually square box though sometimes a tamper resistant bag, with a narrow slot in the top sufficient to accept a ballot paper in an election but which prevents anyone from accessing the votes cast until the close of the voting period...
es. One of the ballot boxes (the first one) is able to receive ballots, shuffle its contents, and output ballots; this ballot box is initialized before the election with votes signed by a voting authority. The other ballot box (the second one) begins the election empty. The voting phase is described as following:
1. The voter receives a blank ballot signed by the voting authority, marks her option, and casts it into the first ballot box;
2. The ballot box shuffles its ballots and returns a random ballot to the voter;
3. To finish the process, the voter signs the ballot received and casts it into the second ballot box.
In the tally
Tally
-Last name:* Lura S. Tally; a retired legislator from North Carolina* Thomas Lincoln Tally; operated the Electric Theater in Los Angeles* William Tally; an American engineer and former CTO of Saleen, Inc...
phase, the ballots from the first ballot box are signed by the authority and cast into the second ballot box. To obtain the voting results, all ballots of this ballot box are counted and the ballots cast before the voting are discounted.
See “A Verifiable Voting Protocol based on Farnel” and “An electronic scheme for the Farnel paper-based voting protocol” for more details about the scheme. These papers are available at http://www.cdc.informatik.tu-darmstadt.de/mitarbeiter/rsa.html
Summary of the work related to Farnel
The Farnel paper-based scheme was developed in the LabSec (http://www.labsec.ufsc.br) at the Universidade Federal de Santa CatarinaUniversidade Federal de Santa Catarina
Federal University of Santa Catarina is a public university in Florianópolis, the capital city of Santa Catarina in southern Brazil....
– Brazil
Brazil
Brazil , officially the Federative Republic of Brazil , is the largest country in South America. It is the world's fifth largest country, both by geographical area and by population with over 192 million people...
– in 2001. It was first presented at the “3o. Simpósio de Segurança da Informação” (http://www.ssi.org.br/) - Brazil - in 2001. Though, it was never published as a paper and there are just unpublished notes about it.
From the paper-based Farnel scheme, other works were accomplished. Augusto Devegilli proposed the first electronic version of the Farnel in his Master Thesis (http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao-Augusto-Devegili-abstract). In the same year, Fabiano Castro and Carlo Mazzi presented an implementation of the Farnel in their Undergraduate Thesis (http://www.labsec.ufsc.br/tiki-index.php?page=Fabiano-Mazzi-TCC-abstract). In 2002 Roberto Araujo presented an improved electronic version of the Farnel in his Master Thesis (http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao-Roberto-Samarone-abstract); This new version was also published in the “II Workshop em Segurança de Sistemas Computacionais” (WSEG) – Brazil - jointly with Custodio and Devegilli. In 2006, Roberto Araujo et al. proposed a new electronic version of the Farnel and also described the paper-based version of it.