{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T17:40:34Z","timestamp":1789666834594,"version":"4.0.1"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030910808","type":"print"},{"value":"9783030910815","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91081-5_12","type":"book-chapter","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T21:03:40Z","timestamp":1636405420000},"page":"173-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards a\u00a0Robust Distributed Framework for Election-Day Voter Check-In"],"prefix":"10.1007","author":[{"given":"Alexander A.","family":"Schwarzmann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,11,9]]},"reference":[{"key":"12_CR1","unstructured":"Deepening democracy: a strategy for improving the integrity of elections worldwide. In: Global Commission on Elections, Democracy and Security. Kofi Annan Foundation (2012). https:\/\/aceproject.org\/ace-en\/topics\/ei\/onePage"},{"key":"12_CR2","unstructured":"Securing the Vote: Protecting American Democracy. National Academies of Sciences, Engineering, and Medicine September 2018"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"AlEroud, A., Karabatis, G.: Bypassing detection of url-based phishing attacks using generative adversarial deep neural networks. In: Proceedings of the Sixth International Workshop on Security and Privacy Analytics, pp. 53\u201360 (2020)","DOI":"10.1145\/3375708.3380315"},{"key":"12_CR4","unstructured":"Antonyan, T., et al.: Automating voting terminal event log analysis. In: EVT\/WOTE (2009)"},{"key":"12_CR5","volume-title":"Committee of Inquiry Report of Factual Findings","author":"A Aponte","year":"2015","unstructured":"Aponte, A., Cruz, J., Jennings, C., MacDonald, D., Wooden, S.: Committee of Inquiry Report of Factual Findings. Tech. Rep, City of Hartford Court of Common Council (2015)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1145\/79147.79158","volume":"37","author":"H Attiya","year":"1990","unstructured":"Attiya, H., Bar-Noy, A., Dolev, D., Peleg, D., Reischuk, R.: Renaming in an asynchronous environment. J. ACM 37(3), 524\u2013548 (1990)","journal-title":"J. ACM"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Bernhard, M., et al.: Public evidence from secret ballots. In: Electronic Voting, pp. 84\u2013109 (2017)","DOI":"10.1007\/978-3-319-68687-5_6"},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"Binun, A., et al.: Self-stabilizing byzantine-tolerant distributed replicated state machine. In: Bonakdarpour, B., Petit, F. (eds.) Stabilization, Safety, and Security of Distributed Systems, SSS 2016. LNCS, vol. 10083, pp. 36\u201353. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49259-9_4","DOI":"10.1007\/978-3-319-49259-9_4"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-11294-2_6","volume-title":"Replication","author":"Ken Birman","year":"2010","unstructured":"Birman, Ken: A history of the virtual synchrony replication\u00a0model. In: Charron-Bost, B., Pedone, F., Schiper, A. (eds.) Replication. LNCS, vol. 5959, pp. 91\u2013120. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11294-2_6"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Blanchard, P., Dolev, S., Beauquier, J., Dela\u00ebt, S.: Practically self-stabilizing Paxos replicated state-machine. In: Noubir, G., Raynal, M. (eds.) Networked Systems, NETYS 2014. LNCS, vol. 8593, pp. 99\u2013121. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09581-3_8","DOI":"10.1007\/978-3-319-09581-3_8"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1145\/4221.214134","volume":"32","author":"G Bracha","year":"1985","unstructured":"Bracha, G., Toueg, S.: Asynchronous consensus and broadcast protocols. J. ACM 32(4), 824\u2013840 (1985)","journal-title":"J. ACM"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Brewer, E.A.: Towards robust distributed systems (abstract). 19th ACM Symposium on Principles District Computer, 7, ACM, 16-19 July 2000","DOI":"10.1145\/343477.343502"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Davtyan, S., et al.: Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. In: 2009 ACM Symposium on Applied Computing, SAC 2009, pp. 2049\u20132053. ACM (2009)","DOI":"10.1145\/1529282.1529736"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Davtyan, S., Kiayias, A., Michel, L., Russell, A., Shvartsman, A.A.: Integrity of electronic voting systems: fallacious use of cryptography. In: Proceedings of 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1486\u20131493. ACM, March 2012","DOI":"10.1145\/2245276.2232013"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Dolev, S., Georgiou, C., Marcoullis, I., Schiller, E.M.: Self-stabilizing byzantine tolerant replicated state machine based on failure detectors. In: Dinur, I., Dolev, S., Lodha, S. (eds.) Cyber Security Cryptography and Machine Learning, CSCML 2018. LNCS, vol. 10879, pp. 84\u2013100. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94147-9_7","DOI":"10.1007\/978-3-319-94147-9_7"},{"key":"12_CR16","doi-asserted-by":"publisher","unstructured":"Dolev, S., Liber, M.: Toward Self-stabilizing blockchain, reconstructing totally erased blockchain (preliminary version). In: Dolev, S., Kolesnikov, V., Lodha, S., Weiss, G. (eds.) Cyber Security Cryptography and Machine Learning, CSCML 2020. LNCS, vol. 12161, pp. 175\u2013192. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49785-9_12","DOI":"10.1007\/978-3-030-49785-9_12"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Dolev, S., Wang, Z.: Sodsbc: Stream of distributed secrets for quantum-safe blockchain. In: IEEE International Conference on Blockchain, pp. 247\u2013256 (2020)","DOI":"10.1109\/Blockchain50366.2020.00038"},{"key":"12_CR18","unstructured":"Cox, E.: New voting machines finally on horizon: seven years later, Maryland finally buying voting machines with a paper trail. Baltimore Sun (2014)"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"MJ Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374\u2013382 (1985)","journal-title":"J. ACM"},{"key":"12_CR20","unstructured":"Gardner, W.M.: New Hampshire Electronic Poll Book System Request for Information V0.1. New Hampshire Department of State (2017)"},{"issue":"4","key":"12_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00446-010-0117-1","volume":"23","author":"S Gilbert","year":"2010","unstructured":"Gilbert, S., Lynch, N., Shvartsman, A.: RAMBO: a robust, reconfigurable atomic memory service for dynamic networks. Distrib. Comput. 23(4), 225\u2013272 (2010)","journal-title":"Distrib. Comput."},{"issue":"2","key":"12_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., Lynch, N.A.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2), 51\u201359 (2002)","journal-title":"SIGACT News"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Gramoli, V., Nicolaou, N., Schwarzmann, A.A.: Consistent Distributed Storage. Morgan & Claypool Publishers (2021)","DOI":"10.1007\/978-3-031-02015-5"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume-title":"Operating Systems","author":"JN Gray","year":"1978","unstructured":"Gray, J.N.: Notes on data base operating systems. In: Bayer, R., Graham, R.M., Seegm\u00fcller, G. (eds.) Operating Systems. LNCS, vol. 60, pp. 393\u2013481. Springer, Heidelberg (1978). https:\/\/doi.org\/10.1007\/3-540-08755-9_9"},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"MP Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Prog. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"12_CR26","unstructured":"Iredale, T., Clark, K.: System and method for synchronizing electronic poll book voter databases. U.s. patent us8812594 b2, 19 August 2014"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Jancewicz, R., Kiayias, L., Michel, Russell, A., Shvartsman, A.: Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals. In: 28th Annual ACM Symposium on Applied Computer, pp. 1816\u20131823 (2013)","DOI":"10.1145\/2480362.2480702"},{"key":"12_CR28","doi-asserted-by":"publisher","unstructured":"Kentros, S., Kiayias, A., Nicolaou, N., Shvartsman, A.A.: At-most-once semantics in asynchronous shared memory. In: Keidar, I. (ed.) Distributed Computing, DISC 2009. LNCS, vol. 5805, pp. 258\u2013273. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04355-0_27","DOI":"10.1007\/978-3-642-04355-0_27"},{"key":"12_CR29","unstructured":"Kiayias, A., Michel, L., Russell, A., Sashidar, N., See, A., Shvartsman, A.:. An authentication and ballot layout attack against an optical scan voting terminal. In: Electronic Voting Technology Workshop, EVT 2007. USENIX Association (2007)"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Kiayias, A., et al.: Tampering with special purpose trusted computing devices: a case study in optical scan e-voting. In: Computer Security App-s Conference, ACSAC 2007. 23rd Annual, pp. 30\u201339 (2007)","DOI":"10.1109\/ACSAC.2007.16"},{"issue":"1","key":"12_CR31","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1109\/COMST.2015.2402161","volume":"18","author":"C Kolias","year":"2015","unstructured":"Kolias, C., Kambourakis, G., Stavrou, A., Gritzalis, S.: Intrusion detection in 802.11 networks: empirical evaluation of threats and a public dataset. IEEE Commun. Surv. Tutor. 18(1), 184\u2013208 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"1","key":"12_CR32","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786228","volume":"2","author":"L Lamport","year":"1986","unstructured":"Lamport, L.: On interprocess communication. part i: basic formalism. Distrib. Comput. 2(1), 77\u201385 (1986). https:\/\/doi.org\/10.1007\/BF01786228","journal-title":"Distrib. Comput."},{"issue":"3","key":"12_CR33","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR34","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers Inc. (1996)"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Maleki, H., Rahaeimehr, R., Jin, C., van Dijk, M.: New clone-detection approach for RFID-based supply chains. In: 2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), pp. 122\u2013127 (2017)","DOI":"10.1109\/HST.2017.7951810"},{"key":"12_CR36","unstructured":"Merrill, D.W.: Connecticut Electronic Poll Book System: Requirement Specification V1.0. Office of the Connecticut Secretary of the State (2015)"},{"issue":"2","key":"12_CR37","first-page":"34","volume":"2","author":"LD Michel","year":"2014","unstructured":"Michel, L.D., Shvartsman, A.A., Volgushev, N.: A systematic approach to analyzing voting terminal event logs. USENIX J. Election Technol. Syst. (JETS) 2(2), 34\u201353 (2014)","journal-title":"USENIX J. Election Technol. Syst. (JETS)"},{"issue":"6","key":"12_CR38","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/2500874","volume":"57","author":"PM Musial","year":"2014","unstructured":"Musial, P.M., Nicolaou, N.C., Shvartsman, A.A.: Implementing distributed shared memory for dynamic networks. Commun. ACM 57(6), 88\u201398 (2014)","journal-title":"Commun. ACM"},{"key":"12_CR39","unstructured":"One Hundred Seventh Congress of the United States of America. Help America Vote Act of 2002 (2002)"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"Pawlak, M., Guziur, J., Poniszewska-Mara\u0144da, A.: Towards the blockchain technology for system voting process. In: Cyberspace Safety and Security, pp. 209\u2013223 (2018)","DOI":"10.1007\/978-3-030-01689-0_17"},{"issue":"2","key":"12_CR41","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"MC Pease","year":"1980","unstructured":"Pease, M.C., Shostak, R.E., Lamport, L.: Reaching agreement in the presence of faults. J. ACM 27(2), 228\u2013234 (1980)","journal-title":"J. ACM"},{"issue":"877","key":"12_CR42","first-page":"877","volume":"97","author":"P Peisch","year":"2009","unstructured":"Peisch, P.: Procurement and the polls: how sharing responsibility for acquiring voting machines can improve and restore confidence in American voting systems. Georgetown Law J. 97(877), 877\u2013915 (2009)","journal-title":"Georgetown Law J."},{"key":"12_CR43","unstructured":"Rivest, R.: Clipaudit: a simple risk-limiting post-election audit. ArXiv, abs\/1701.08312 (2017)"},{"issue":"3","key":"12_CR44","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MSP.2017.78","volume":"15","author":"RL Rivest","year":"2017","unstructured":"Rivest, R.L., Stark, P.B.: When is an election verifiable? IEEE Secur. Priv. 15(3), 48\u201350 (2017)","journal-title":"IEEE Secur. Priv."},{"key":"12_CR45","unstructured":"Shvartsman, A.A., Kiayias, A., Michel, L., Russell, A.: On the security and integrity issues of optical scan voting systems. In: County of Nassau Board of Elections against State of New York, New York State Board of Elections, pp. 1\u201323. Supreme Court of the State of New York, County of Nassau, 19 March 2010"},{"key":"12_CR46","unstructured":"Thomson-DeVeaux, A., Mithani, J., Bronner, L.: Why many Americans don\u2019t vote. In: FiveThirtyEight, 26 October 2020"},{"key":"12_CR47","doi-asserted-by":"publisher","unstructured":"van Dijk, M., Jin, C., Maleki, H., Ha Nguyen, P., Rahaeimehr, R.: Weak-unforgeable tags for secure supply chain management. In: Meiklejohn, S., Sako, K. (eds.) Financial Cryptography and Data Security, FC 2018. LNCS, vol. 10957, pp. 80\u201398. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-58387-6_5","DOI":"10.1007\/978-3-662-58387-6_5"},{"key":"12_CR48","doi-asserted-by":"publisher","unstructured":"Wolchok, S., Wustrow, E., Isabel, D., Halderman, J.A.: Attacking the Washington, D.C. internet voting system. In: Keromytis, A.D. (ed.) Financial Cryptography and Data Security, FC 2012. LNCS, vol. 7397, pp. 114\u2013128. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32946-3_10","DOI":"10.1007\/978-3-642-32946-3_10"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91081-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T15:39:57Z","timestamp":1710257997000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91081-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030910808","9783030910815"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91081-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"9 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Stabilizing, Safety, and Security of Distributed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sss2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cse.chalmers.se\/~elad\/SSS2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}