{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T07:00:31Z","timestamp":1764572431076,"version":"3.46.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T00:00:00Z","timestamp":1762819200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T00:00:00Z","timestamp":1762819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100002661","name":"Fonds De La Recherche Scientifique - FNRS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s10207-025-01140-x","type":"journal-article","created":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:44:10Z","timestamp":1762875850000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["How to Verifiably Encrypt Many Bits for an Election?"],"prefix":"10.1007","volume":"24","author":[{"given":"Henri","family":"Devillez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Peters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,11]]},"reference":[{"key":"1140_CR1","unstructured":"Adida, B., de Marneffe, O., Pereira, O., Quisquater, J.: Electing a university president using open-audit voting: Analysis of real-world use of helios. In: 2009 Electronic Voting Technology Workshop \/ Workshop on Trustworthy Elections, EVT\/WOTE \u201909. USENIX Association (2009)"},{"key":"1140_CR2","doi-asserted-by":"crossref","unstructured":"Bellare, M., Goldwasser, S.: Verifiable partial key escrow. In: CCS \u201997, Proceedings of the 4th ACM Conference on Computer and Communications Security. 78\u201391. ACM (1997)","DOI":"10.1145\/266420.266439"},{"key":"1140_CR3","unstructured":"Benaloh, J., Byrne, M.D., Eakin, B., Kortum, P.T., McBurnett, N., Pereira, O., Stark, P.B., Wallach, D.S., Fisher, G., Montoya, J., Parker, M., Winn, M.: Star-vote: A secure, transparent, auditable, and reliable voting system. In: 2013 Electronic Voting Technology Workshop \/ Workshop on Trustworthy Elections, EVT\/WOTE \u201913. USENIX Association (2013)"},{"issue":"4","key":"1140_CR4","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MSEC.2021.3075107","volume":"19","author":"J Benaloh","year":"2021","unstructured":"Benaloh, J., Foote, K., Stark, P.B., Teague, V., Wallach, D.S.: Vault-style risk-limiting audits and the inyo county pilot. IEEE Secur. Priv. 19(4), 8\u201318 (2021)","journal-title":"IEEE Secur. Priv."},{"key":"1140_CR5","unstructured":"Benaloh, J., Naehrig, M.: Electionguard design specification version 2.0.0. https:\/\/www.electionguard.vote\/spec\/ (2023)"},{"key":"1140_CR6","doi-asserted-by":"crossref","unstructured":"Benaloh, J.C., Yung, M.: Distributing the power of a government to enhance the privacy of voters (extended abstract). In: Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing. 52\u201362. ACM (1986)","DOI":"10.1145\/10590.10595"},{"key":"1140_CR7","unstructured":"Bernstein, D.J.: Pippenger\u2019s exponentiation algorithm. https:\/\/cr.yp.to\/papers\/pippenger.pdf (2002)"},{"key":"1140_CR8","doi-asserted-by":"crossref","unstructured":"Bootle, J., Cerulli, A., Chaidos, P., Groth, J., Petit, C.: Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting. In: Advances in Cryptology\u2013EUROCRYPT 2016 Proceedings. 327\u2013357. Springer (2016)","DOI":"10.1007\/978-3-662-49896-5_12"},{"key":"1140_CR9","doi-asserted-by":"crossref","unstructured":"Chaum, D., Pedersen, T.P.: Wallet databases with observers. In: Advances in Cryptology - CRYPTO 1992. LNCS, 740, 89\u2013105. Springer (1992)","DOI":"10.1007\/3-540-48071-4_7"},{"key":"1140_CR10","doi-asserted-by":"crossref","unstructured":"Cortier, V., Gaudry, P., Glondu, S.: Belenios: A simple private and verifiable electronic voting system. In: Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. LNCS, 11565, 214\u2013238. Springer (2019)","DOI":"10.1007\/978-3-030-19052-1_14"},{"key":"1140_CR11","doi-asserted-by":"crossref","unstructured":"Cramer, R., Damg\u00e5rd, I., Schoenmakers, B.: Proofs of partial knowledge and simplified design of witness hiding protocols. In: Advances in Cryptology - CRYPTO 1994. LNCS, 839, 174\u2013187. Springer (1994)","DOI":"10.1007\/3-540-48658-5_19"},{"key":"1140_CR12","doi-asserted-by":"crossref","unstructured":"Cramer, R., Gennaro, R., Schoenmakers, B.: A secure and optimally efficient multi-authority election scheme. In: Advances in Cryptology - EUROCRYPT 1997. LNCS, 1233, 103\u2013118. Springer (1997)","DOI":"10.1007\/3-540-69053-0_9"},{"key":"1140_CR13","doi-asserted-by":"crossref","unstructured":"Damg\u00e5rd, I., Jurik, M.: A generalisation, a simplification and some applications of paillier\u2019s probabilistic public-key system. In: Kim, K. (ed.) Public Key Cryptography, PKC 2001. LNCS, 1992, 119\u2013136. Springer (2001)","DOI":"10.1007\/3-540-44586-2_9"},{"key":"1140_CR14","doi-asserted-by":"crossref","unstructured":"Damg\u00e5rd, I., Jurik, M.: A length-flexible threshold cryptosystem with applications. In: Information Security and Privacy, ACISP 2003. LNCS, 2727, 350\u2013364. Springer (2003)","DOI":"10.1007\/3-540-45067-X_30"},{"key":"1140_CR15","unstructured":"ElectionGuard: https:\/\/www.electionguard.vote\/ (2022)"},{"key":"1140_CR16","doi-asserted-by":"crossref","unstructured":"Frederiksen, T.K., Lindell, Y., Osheter, V., Pinkas, B.: Fast distributed RSA key generation for semi-honest and malicious adversaries. In: Advances in Cryptology - CRYPTO 2018. LNCS, 10992, 331\u2013361. Springer (2018)","DOI":"10.1007\/978-3-319-96881-0_12"},{"key":"1140_CR17","unstructured":"gmpy: gmpy2 module. https:\/\/github.com\/aleaxit\/gmpy"},{"key":"1140_CR18","doi-asserted-by":"crossref","unstructured":"Groth, J.: Linear algebra with sub-linear zero-knowledge arguments. In: Advances in Cryptology - CRYPTO 2009. LNCS, 5677, 192\u2013208. Springer (2009)","DOI":"10.1007\/978-3-642-03356-8_12"},{"key":"1140_CR19","doi-asserted-by":"crossref","unstructured":"Groth, J., Kohlweiss, M.: One-out-of-many proofs: Or how to leak a secret and spend a coin. In: Advances in Cryptology - EUROCRYPT 2015. LNCS, 9057, 253\u2013280. Springer (2015)","DOI":"10.1007\/978-3-662-46803-6_9"},{"key":"1140_CR20","volume-title":"Guide to Elliptic Curve Cryptography","author":"D Hankerson","year":"2003","unstructured":"Hankerson, D., Menezes, A.J., Vanstone, S.: Guide to Elliptic Curve Cryptography. Springer-Verlag, Berlin, Heidelberg (2003)"},{"key":"1140_CR21","doi-asserted-by":"crossref","unstructured":"Pedersen, T.P.: A threshold cryptosystem without a trusted party (extended abstract). In: Advances in Cryptology - EUROCRYPT 1991. LNCS, 547, 522\u2013526. Springer (1991)","DOI":"10.1007\/3-540-46416-6_47"},{"key":"1140_CR22","doi-asserted-by":"crossref","unstructured":"Pippenger, N.: On the evaluation of powers and related problems (preliminary version). In: 17th Annual Symposium on Foundations of Computer Science, 1976. 258\u2013263. IEEE Computer Society (1976)","DOI":"10.1109\/SFCS.1976.21"},{"key":"1140_CR23","doi-asserted-by":"crossref","unstructured":"Ramchen, K., Culnane, C., Pereira, O., Teague, V.: Universally verifiable MPC and IRV ballot counting. In: Financial Cryptography and Data Security - FC 2019. LNCS, 11598, 301\u2013319. Springer (2019)","DOI":"10.1007\/978-3-030-32101-7_19"},{"key":"1140_CR24","unstructured":"Sandler, D., Derr, K., Wallach, D.S.: Votebox: A tamper-evident, verifiable electronic voting system. In: van Oorschot, P.C. (ed.) Proceedings of the 17th USENIX Security Symposium. 349\u2013364. USENIX Association (2008)"},{"key":"1140_CR25","unstructured":"Schoenmakers, B.: Some efficient zeroknowledge proof techniques. In: Workshop on cryptographic protocols (2001)"},{"key":"1140_CR26","unstructured":"Wallach, D.: Anyscale connect: Encrypting and tabulating big elections. https:\/\/www.youtube.com\/watch?v=m7r33EuN6Zw (2020)"},{"key":"1140_CR27","unstructured":"Wikstr\u00f6m, D.: Verificatum. https:\/\/www.verificatum.org\/ (2022)"},{"key":"1140_CR28","unstructured":"Wu, T.: Rsa and ecc in javascript. http:\/\/www-cs-students.stanford.edu\/~tjw\/jsbn\/ (2009)"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-025-01140-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10207-025-01140-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-025-01140-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T06:56:34Z","timestamp":1764572194000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10207-025-01140-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,11]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["1140"],"URL":"https:\/\/doi.org\/10.1007\/s10207-025-01140-x","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"type":"print","value":"1615-5262"},{"type":"electronic","value":"1615-5270"}],"subject":[],"published":{"date-parts":[[2025,11,11]]},"assertion":[{"value":"9 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The results of their research presented in this manuscript do not rely on any human participants and\/or animals.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}},{"value":"The authors declare to have no conflict of interest.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of Interest"}},{"value":"The authors declare no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"238"}}