Universally Composable NIZK Protocol in an Internet Voting Scheme

  • Md. Abdul Based
  • Stig Frode Mjølsnes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6710)


We use the Universally Composable (UC) framework to evaluate our Non-Interactive Zero-Knowledge (NIZK) protocol for verifying the validity of the ballot in an Internet voting scheme. We first describe the Internet voting scheme followed by the explanation of the NIZK protocol for ballot verification in that voting scheme. We then define the ideal functionalities using the UC framework and evaluate the NIZK protocol by using these ideal functionalities. We find that this NIZK protocol is secure in the UC framework in the presence of malicious and adaptive adversaries.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Canetti, R.: Universally Composable Security: A New Paradigm for Cryptographic Protocols. Electronic Colloquium on Computational Complexity, Revision 3 of Report N0. 16 (2001), ISSN: 1443-8092 (2005), http://eprint.iacr.org/2000/067
  2. 2.
    Groth, J.: Evaluating Security of Voting Schemes in the Universal Composability Framework. Springer, Heidelberg (2004) ISBN: 978-3-540-22217-0CrossRefMATHGoogle Scholar
  3. 3.
    Iversen, K.R.: The Application of Cryptographic Zero-Knowledge Techniques in Computerized Secret Ballot Election Schemes. Ph.D. dissertation, IDT-report, 1991:3, Norwegian Institute of Technology (February 1991)Google Scholar
  4. 4.
    Schoenmakers, B.: A simple publicly verifiable secret sharing scheme and its application to electronic voting. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, pp. 148–164. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  5. 5.
    Damgard, I., Groth, J., Salomonsen, G.: The Theory and Implementation of an Electronic Voting System. In: Gritzalis, D. (ed.) Secure Electronic Voting, pp. 77–100. Kluwer Academic Publishers, Dordrecht (2003)CrossRefGoogle Scholar
  6. 6.
    Canetti, R., Lindell, Y., Ostrovsky, R., Sahai, A.: Universally Composable Two-Party and Multi-Party Secure Computation. In: 34th STOC, pp. 494–503 (2002)Google Scholar
  7. 7.
    Wikström, D.: A universally composable mix-net. In: Naor, M. (ed.) TCC 2004. LNCS, vol. 2951, pp. 317–335. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Canetti, R., Fischlin, M.: Universally composable commitments. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 19–40. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Based, M.A., Mjølsnes, S.F.: A Non-interactive Zero Knowledge Proof Protocol in an Internet Voting Scheme. In: Proceedings of the the 2nd Norwegian Security Conference (NISK 2009), Tapir Akademisk Forlag, pp. 148–160 (2009) ISBN: 978-82-519-2492-4Google Scholar
  10. 10.
    Based, M.A.: Security Aspects of Internet based Voting. In: Sobh, et al. (eds.) Proceedings of the International Conference on Telecommunications and Networking (TeNe 2008), Novel Algorithms and Techniques in Telecommunications and Networking, pp. 329–332. Springer, Heidelberg (2010) ISBN: 978-90-481-3661-2CrossRefGoogle Scholar
  11. 11.
    Santis, A.D., Persiano, G.: Zero-Knowledge Proofs of Knowledge Without Interaction. In: Proceedings of the 33rd Symposium on Foundations of Computer Science 1992 (FOCS 1992), Pittsburgh, PA, pp. 427–437 (October 24-27, 1992)Google Scholar
  12. 12.
    Feige, U., Lapidot, D., Shamir, A.: Multiple Non-Interactive Zero-Knowledge Proofs Based on a Single Random String. In: Proceedings of the 22th Annual Symposium on the Theory of Computing, pp. 308–317 (1990)Google Scholar
  13. 13.
    Blum, M., Feldman, P., Micali, S.: Non-Interactive Zero-Knowledge and its Applications. In: Proceedings of STOC 1988, pp. 103–112 (1988)Google Scholar
  14. 14.
    Meng, B.: Analyzing and Improving Internet Voting Protocol. In: Proceedings of the IEEE International Conference on e-Business Engineering, pp. 351–354. IEEE Computer Society, Los Alamitos (2007) ISBN 0-7695-3003-6Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Md. Abdul Based
    • 1
  • Stig Frode Mjølsnes
    • 1
  1. 1.Department of TelematicsNorwegian University of Science and Tenchnology (NTNU)Norway

Personalised recommendations