Skip to content

AuditURV/Audit

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

33 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Proyecto INNPACTO 2010 Audit Transparency Voting Process en el cual participa el grupo CRISES de la URV cofinanciado por el MINECO y FEDER

El Ministerio de Economía y Competitividad español (MINECO), dentro del Plan Nacional de Investigación Científica, Desarrollo e Innovación Tecnológica 2008-2011, concedió ayuda al proyecto “Audit Transparency Voting Process” liderado por Scytl con número de expediente IPT-430000-2010-31. Este proyecto ha sido financiado por el Ministerio de Economía y Competitividad (MINECO) y el Fondo Europeo de Desarrollo Regional (FEDER) dentro del Subprograma INNPACTO, Convocatoria 2010. El objetivo del proyecto es el desarrollo de una nueva plataforma de voto electrónico que incorpora un rediseño del actual protocolo criptográfico definido por Scytl, para incluir mecanismos de criptografía avanzada y así lograr una auditoría de extremo a extremo de forma más eficiente.

#Dummy Votes

We have studied another mechanism to detect the deletion votes of the digital ballot box. The integrity of the digital ballot box is another important aspect to guarantee an election. The studied technique is based on the insertion of dummy votes or false votes in the digital ballot box during the voting process. These votes are indistinguishable during the voting process as they have the same appearance as a valid vote from voters and are inserted in the same way. Once the election process has finished, the dummy votes are identified and separated from the rest in order to carry out an appropriate scrutiny. In this way, we are able to detect, with a certain probability, the possible additions, changes or deletions in the digital ballot box during the election process. This study was presented at a national scientific meeting in the field[1].

#TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections

As a result of this research project, CRISES group has studied the feasibility of developing ElGamal cryptosystem and Shamir’s secret sharing scheme into JavaCards, whose API gives no support for it.

In particular, the contributions of our work have been the design and development of the following building blocks for JavaCards: (i) ElGamal cryptosystem to generate the ElGamal key pair, (ii) Shamir’s secret sharing scheme to divide the private key in a set of shares, (iii) secure communication channels for the distribution of the shares, and (iv) a decryption function without reconstructing the private key. This solution can be useful for a typical e-voting system, specifically in the voting scheme presented by Cramer et al. [2].

You can find more information about these contributions and how they were designed and implemented in the conference paper.pdf presented in Foundations & Practice of Security 2011 called: TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections [3]. In the extendedpaper.pdf, you can find a description of an execution example.

##Software

This library implements the protocol described in the paper mentioned above and it is prepared to easily execute a configurable example with a maximum number of shares (n=5) and a threshold from 2 to the maximum of shares (n). To execute the following functions implemented in the library:

  • Generate a set of shares from a SmartCard(SC) according to user configuration (number of shares, threshold and key size).
  • Distribute the generated shares, public key, and other public parameters from that SC to the rest of SCs.
  • Verify the received share from each SC.
  • Encrypt a value using the public ElGamal parameters.
  • Partial decrypt from each SC.
  • Homomorphic Recount (in a voting context) through the aggregation of the set of partial decryptions.

The code is divided into two different parts: thresholdClient and thresholdLib code. The former part includes the GUI and the code related to manage of the protocol execution as a client. This part has been developed in Java programming language. The last part is the applet code placed/installed into each SC, which is written in JavaCard.

Once the applet has been installed in each SC, our application, following the protocol described in the paper, initiates the APDU communication, as detailed below:

Shares generation process (shares are generated by any SC, then this SC is called generator SC).

	1. The Applet has been selected and initialized. In this case, the applet identifier is 3132333433123450. The 
	   key size of ElGamal cryptosystem is fixed here. The sent APDUs are as follows:
		- Applet selection: CLA=00, INS=a4, P1=04, P2=00, Lc=08, DATA=aID=3132333433123450, Le=00.
		- Applet initialization: CLA=80, INS=00, P1=0x, P2=00 (where x is the key size, it can be 2=512, 3=768, 
		  4=1024, 5=1280, 6=1536, 7=1984 and 8=2048 bits).
	
	2. In order to generate the following values, which are requiered by ElGamal cryptosystem initialization, into 
	   the SC, the following APDUs are sent: 
		- p: CLA=90, INS=01, P1-P2=00, Lc=20 and data=p. 
		- q: CLA=90, INS=11, P1-P2=00, Lc=20 and data=q. 
		- g: CLA=90, INS=02, P1-P2=00, Lc=20 and data=g. 

	3. In order to securely build the private and public key, which are requiered by ElGamal cryptosystem, into the 
	   SC, the APDUs are as follows:
		- Pk: CLA=80, INS=03, P1-P2=00.
		- Sk: CLA=80, INS=04, P1-P2=00.
		- The SC generator takes the id=0, this is stored by APDU: CLA=80, INS=12, P1-P2=00, Lc=1, DATA=id, Le=00.

	4. Once the private key is generated, it must be split in some shares. The following APDUs fix the shares and 
	   threshold number, and their generation:
		- Threshold and shares number storing: CLA=80, INS=1e, P1=2-5,P2=3-5 (where P1 and P2 are the threshold 
		  and the shares number respectively).
		- (t-1) coefficients generation: CLA=80, INS=05, P1-P2=00.
		- (t-1) coefficient commitments generation: CLA=80, INS=06, P1-P2=00.
		- Evaluation values generation: CLA=80, INS=07, P1-P2=00.
		- (N) shares generation: CLA=80, INS=08, P1-P2=00.
		- (N) shares commitments generation: CLA=80, INS=09, P1-P2=00.

	5. The client gets, from the SC, the public parameters generated by threshold scheme, coefficient commitment and 
	   Pk:
		- Coefficient commitment getting: CLA=80, INS=1B, P1-P2=00.
		- Pk getting: CLA=80, INS=1A, P1-P2=00.

	6. Finally, the SC must verify the correctness generation of his own share and share commitment (remember that 
	   generator SC may also participate in the secret reconstruction step):
		- Share verification: CLA=80, INS=A0, P1-P2=00.
		- Share commitment verification: CLA=80, INS=B0, P1-P2=00.

Share Distribution between generator SC and receiver SC (this step must be repeated in each receiver SC).

	Steps 1 and 2 from shares generation process are repeated here.

	3. The public parameters of threshold scheme, generated by generator SC for each different receiver SC, are 
	   recovered by sending the following APDUs to generator SC:			
		- Share getting: CLA=80, INS=19, P1= smart card identifier,P2=00.
		- Share commitment getting: CLA=80, INS=1C, P1= smart card identifier, P2=00.
		Note that SC identifier must be different in each receiver SC since there is no equal share.

	4. The threshold parameters generated in the generation step, including the corresponding share and share 
	   commitment, are stored in the receiver SC:
		- Threshold and shares number storing: the APDU is: CLA=80, INS=1e, P1=2-5,P2=3-5
		- Coefficient commitment storig: CLA=90, INS=16, P1-P2=00.
		- Card identifier storing: CLA=80, INS=12, P1-P2=00, Lc=01 and data=id_card.
		- (own)Share storing: CLA=90, INS=14, P1-P2=00, Lc=20 and data=share.
		- (own)Share commitment storing: CLA=90, INS=17, P1-P2=00, Lc=20 and data=share commitment.
		- Public key storing: CLA=90, INS=15, P1-P2=00, Lc=20 and data=public key.
		- Evaluation values generation: CLA=80, INS=07, P1-P2=00.

	5. Once the receiver SC has stored its own share and share commitment, it must verify the correctness generation 
	   made by generator SC.
		- Share verification: CLA=80, INS=A0, P1-P2=00.
		- Share commitment verification: CLA=80, INS=B0, P1-P2=00.

Verification (any SC with stored share and share commitment can perform this step)

	Step 1 from shares generation process is repeated here.
	2. Once the receiver SC has stored its own share and share commitment, it must verify the correctness generation
	   made by generator SC.
		- Share verification: CLA=80, INS=A0, P1-P2=00.
		- Share commitment verification: CLA=80, INS=B0, P1-P2=00.

Encryption (any SC can perform this step)

	Steps 1 and 2 (if they are not performed before) from shares generation process are repeated here.
	3. The data to encrypt are sent to SC and they are encrypted with APDU: CLA=90, INS=0C, P1-P2=00, Lc=20, 
	   Data=message to encrypt.
	4. ElGamal encryption result is recovered by sending the APDU: CLA=90, INS=0D, P1-P2=00.

Homomorphic Decryption or tally (as least t-SC must participate in this process)

	Once elections have been concluded, a set of at least t-members of the electoral board is necessary to decrypt
	votes successfully.
	At this point, votes have been aggregated thanks to the use of a homomorphic properties of ElGamal.
	
	- By using the lagrange coefficients, the evaluations values and the aggregated votes computed before in the 
	  client side, each of t-SCs compute securely and internally its partials Y1:
		Step 1 from shares generation process is repeated here.
		2. Lagrange coefficient sending: CLA=90, INS=13, P1= card identifier, P2=00, Lc=20 and data=Lagrange 
		   coefficient.
		3. Data to decrypt sending: CLA=90, INS=1D, P1-P2=00, Lc=20 and data=Y2+Y1.
		4. Partial decryption: CLA=80, INS=0F , P1-P2=00.
	
	Once all partial decryptions have been recovered, the final decryption is computed in the client side by 
	following the steps described in the paper.

You can find more information about the implementation in the Development Details section of the extendedpaper.pdf

##License

This software is released under BSD 3-clause license, which is contained in the file LICENSE.

##Future Work

As future work concerns, we are working on a non-trusted third party (Non-TTP) solution with a distributed generation of the shares. In addition, we would like to improve the efficiency, time and storage of the protocol in smartcards (i.e., using ElGamal on elliptic curves).

#Bibliography

[1] R. Jardí-Cedó, X. Taixés-Ventosa and J. Castellà-Roca, "Un Método de Detección de Integridad de una Urna Digital en Grandes Elecciones", RECSI 2012, Donostia, Spain, In Actas de la XII Reunión Española sobre Criptología y Seguridad de la Información, pp. 193-198, ISBN: 978-84-615-9933, Sep 2012.

[2] Cramer, R., Gennaro, R., Schoenmakers, B.: A secure and optimally e�cient multi-authority election scheme. In: Proceedings of the 16th annual international conference on Theory and application of cryptographic techniques. pp. 103{118. EUROCRYPT'97, Springer-Verlag, Berlin, Heidelberg (1997), http://portal.acm.org/citation.cfm?id=1754542.1754554

[3] J. Pujol-Ahullo, R. Jardi-Cedo, J. Castella-Roca, O. Farràs , "TTP SmartCard - based ElGamal Cryptosystem using Threshold Scheme for Electronic Elections ", Foundations & Practice of Security 2011 - FPS 2011, Paris, France, May 2011. http://crises2-deim.urv.cat/docs/publications/conferences/656.pdf

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages