{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:36:39Z","timestamp":1742920599892,"version":"3.40.3"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031830716"},{"type":"electronic","value":"9783031830723"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-83072-3_4","type":"book-chapter","created":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T18:58:58Z","timestamp":1741805938000},"page":"52-72","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification of\u00a0the\u00a0Socio-Technical Aspects of\u00a0Voting: The Case of\u00a0the\u00a0Polish Postal Vote 2020"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7523-8783","authenticated-orcid":false,"given":"Yan","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6340-8845","authenticated-orcid":false,"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1677-9034","authenticated-orcid":false,"given":"Peter Y. A.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,13]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672\u2013713 (2002). https:\/\/doi.org\/10.1145\/585265.585270","journal-title":"J. ACM"},{"key":"4_CR2","unstructured":"Andrzej\u00a0Rzepli\u0144ski, M.S.: Statement on election irregularities [polish: O\u015bwiadczenia w sprawie nieprawid\u0142owo\u015bci dotycz\u0105cych wybor\u00f3w]. https:\/\/ow.org.pl\/2020\/08\/05\/oswiadczenia-w-sprawie-nieprawidlowosci-dotyczacych-wyborow\/"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-45741-3_13","volume-title":"Computer Security \u2013 ESORICS 2016","author":"M Arapinis","year":"2016","unstructured":"Arapinis, M., Cortier, V., Kremer, S.: When are three voters enough for privacy properties? In: Askoxylakis, I., Ioannidis, S., Katsikas, S., Meadows, C. (eds.) ESORICS 2016. LNCS, vol. 9879, pp. 241\u2013260. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45741-3_13"},{"key":"4_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-68687-5_1","volume-title":"Electronic Voting","author":"D Basin","year":"2017","unstructured":"Basin, D., Gersbach, H., Mamageishvili, A., Schmid, L., Tejada, O.: Election security and economics: it\u2019s all about eve. In: Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O., Sch\u00fcrmann, C. (eds.) E-Vote-ID 2017. LNCS, vol. 10615, pp. 1\u201320. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68687-5_1"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Basin, D.A., Radomirovic, S., Schmid, L.: Modeling human errors in security protocols. In: Computer Security Foundations Symposium, CSF, pp. 325\u2013340. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/CSF.2016.30","DOI":"10.1109\/CSF.2016.30"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Beckert, B., Beuster, G.: A method for formalizing, analyzing, and verifying secure user interfaces. In: International Conference on Formal Engineering Methods, pp. 55\u201373. Springer, Cham (2006)","DOI":"10.1007\/11901433_4"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.: A tutorial on uppaal. In: Formal Methods for the Design of Real-Time Systems: SFM-RT. LNCS, pp. 200\u2013236, vol. 3185. Springer, Cham (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Bella, G., Curzon, P., Giustolisi, R., Lenzini, G.: A socio-technical methodology for the security and privacy analysis of services. In: COMPSAC Workshops, pp. 401\u2013406. IEEE Computer Society (2014). https:\/\/doi.org\/10.1109\/COMPSACW.2014.69","DOI":"10.1109\/COMPSACW.2014.69"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"563","DOI":"10.3233\/JCS-150536","volume":"23","author":"G Bella","year":"2015","unstructured":"Bella, G., Curzon, P., Lenzini, G.: Service security and privacy as a socio-technical problem. J. Comput. Secur. 23(5), 563\u2013585 (2015). https:\/\/doi.org\/10.3233\/JCS-150536","journal-title":"J. Comput. Secur."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Bella, G., Giustolisi, R., Sch\u00fcrmann, C.: Modelling human threats in security ceremonies. J. Comput. Secur. (Preprint) 1\u201323 (2022)","DOI":"10.3233\/JCS-210059"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Benaloh, J., Ryan, P.Y., Teague, V.: Verifiable postal voting. In: Cambridge International Workshop on Security Protocols, pp. 54\u201365. Springer, Cham (2013)","DOI":"10.1007\/978-3-642-41717-7_8"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Blanchet, B., et\u00a0al.: Modeling and verifying security protocols with the applied pi calculus and proverif. Found. Trends\u00ae Privacy Secur. 1(1-2), 1\u2013135 (2016)","DOI":"10.1561\/3300000004"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-319-68687-5_7","volume-title":"Electronic Voting","author":"A Bruni","year":"2017","unstructured":"Bruni, A., Drewsen, E., Sch\u00fcrmann, C.: Towards a mechanized proof of Selene receipt-freeness and vote-privacy. In: Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O., Sch\u00fcrmann, C. (eds.) E-Vote-ID 2017. LNCS, vol. 10615, pp. 110\u2013126. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68687-5_7"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-030-91631-2_5","volume-title":"Protocols, Strands, and Logic","author":"A Bruni","year":"2021","unstructured":"Bruni, A., Carbone, M., Giustolisi, R., M\u00f6dersheim, S., Sch\u00fcrmann, C.: Security protocols as choreographies. In: Dougherty, D., Meseguer, J., M\u00f6dersheim, S.A., Rowe, P. (eds.) Protocols, Strands, and Logic. LNCS, vol. 13066, pp. 98\u2013111. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91631-2_5"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Buldas, A., M\u00e4gi, T.: Practical security analysis of e-voting systems. In: Proceedings of IWSEC. LNCS, vol.\u00a04752, pp. 320\u2013335. Springer, Cham (2007)","DOI":"10.1007\/978-3-540-75651-4_22"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Carlos, M.C., Martina, J.E., Price, G., Cust\u00f3dio, R.F.: A proposed framework for analysing security ceremonies. In: SECRYPT, pp. 440\u2013445. SciTePress (2012)","DOI":"10.5220\/0004129704400445"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R., et\u00a0al.: Handbook of model checking, vol.\u00a010. Springer, Cham (2018)","DOI":"10.1007\/978-3-319-10575-8"},{"issue":"5","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E Clarke","year":"1994","unstructured":"Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16(5), 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Cortier, V., Filipiak, A., Lallemand, J.: Beleniosvs: secrecy and verifiability against a corrupted voting device. In: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), pp. 367\u201336714. IEEE (2019)","DOI":"10.1109\/CSF.2019.00032"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Cortier, V., Galindo, D., Turuani, M.: A formal analysis of the neuch\u00e2tel e-voting protocol. In: 2018 IEEE European Symposium on Security and Privacy (EuroS &P), pp. 430\u2013442. IEEE (2018)","DOI":"10.1109\/EuroSP.2018.00037"},{"volume-title":"Specification and Verification of Multi-Agent Systems","year":"2010","key":"4_CR22","unstructured":"Dastani, M., Hindriks, K., Meyer, J. (eds.): Specification and Verification of Multi-Agent Systems. Springer, Cham (2010)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"4_CR24","unstructured":"Fakt.pl: Ballot papers without stamp were delivered. Will the votes be invalid? [Polish: Dostali karty do g\u0142osowania bez piecz\u0119ci. Czy g\u0142osy b\u0119d\u0105 niewa\u017cne?]. https:\/\/www.fakt.pl\/wydarzenia\/polityka\/dostali-karty-do-glosowania-bez-pieczeci-czy-glosy-beda-niewazne\/6cwhzg4"},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Haines, T., Gor\u00e9, R., Tiwari, M.: Verified verifiers for verifying elections. In: Proceedings of CCS, pp. 685\u2013702. ACM (2019). https:\/\/doi.org\/10.1145\/3319535.3354247","DOI":"10.1145\/3319535.3354247"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Haines, T., Gor\u00e9, R., Sharma, B.: Did you mix me? Formally verifying verifiable mix nets in electronic voting. In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24\u201327 May 2021, pp. 1748\u20131765. IEEE (2021). https:\/\/doi.org\/10.1109\/SP40001.2021.00033","DOI":"10.1109\/SP40001.2021.00033"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Hao, F., Ryan, P.: Real-World Electronic Voting: Design, Analysis and Deployment. Auerbach Publications (2016)","DOI":"10.1201\/9781315371290"},{"key":"4_CR28","unstructured":"Holroyd, M.: Dutch election: rule change to accept wrongly sealed mail-in ballots. Euronews (2021). https:\/\/www.euronews.com\/2021\/03\/17\/dutch-election-rule-change-to-accept-wrongly-sealed-mail-in-ballots"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Jamroga, W., Knapik, M., Kurpiewski, D.: Model checking the SELENE e-voting protocol in multi-agent logics. In: Proceedings of the 3rd International Joint Conference on Electronic Voting (E-VOTE-ID). LNCS, vol. 11143, pp. 100\u2013116. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-00419-4_7"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-52240-1_1","volume-title":"Electronic Voting","author":"W Jamroga","year":"2017","unstructured":"Jamroga, W., Tabatabaei, M.: Preventing coercion in e-voting: be open and commit. In: Krimmer, R., et al. (eds.) E-Vote-ID 2016. LNCS, vol. 10141, pp. 1\u201317. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52240-1_1"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Jamroga, W., Kim, Y.: Practical abstraction for model checking of multi-agent systems (2022). https:\/\/doi.org\/10.48550\/ARXIV.2202.12016","DOI":"10.48550\/ARXIV.2202.12016"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-60347-2_9","volume-title":"Electronic Voting","author":"W Jamroga","year":"2020","unstructured":"Jamroga, W., Kim, Y., Kurpiewski, D., Ryan, P.Y.A.: Towards model checking of voting protocols in Uppaal. In: Krimmer, R., et al. (eds.) E-Vote-ID 2020. LNCS, vol. 12455, pp. 129\u2013146. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60347-2_9"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Jamroga, W., Kurpiewski, D., Malvone, V.: Natural strategic abilities in voting protocols. In: Proceedings of STAST 2020 (2021, to appear)","DOI":"10.1007\/978-3-030-79318-0_3"},{"key":"4_CR34","doi-asserted-by":"publisher","unstructured":"Jamroga, W., Mestel, D., Roenne, P.B., Ryan, P.Y.A., Skrobot, M.: A survey of requirements for COVID-19 mitigation strategies. Bull. Polish Acad. Sci. Tech. Sci. 69(4), e137724 (2021). https:\/\/doi.org\/10.24425\/bpasts.2021.137724","DOI":"10.24425\/bpasts.2021.137724"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Killer, C., Stiller, B.: The swiss postal voting process and its system and security analysis. In: International Joint Conference on Electronic Voting, pp. 134\u2013149. Springer, Cham (2019)","DOI":"10.1007\/978-3-030-30625-0_9"},{"key":"4_CR36","unstructured":"Kurpiewski, D., Jamroga, W., Knapik, M.L.: STV: model checking for strategies under imperfect information. In: Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019, pp. 2372\u20132374. IFAAMAS (2019)"},{"key":"4_CR37","unstructured":"Kurpiewski, D., Pazderski, W., Jamroga, W., Kim, Y.: STV+Reductions: towards practical verification of strategic ability using model reductions. In: Proceedings of AAMAS, pp. 1770\u20131772. ACM (2021)"},{"issue":"1","key":"4_CR38","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A Lomuscio","year":"2017","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transfer 19(1), 9\u201330 (2017). https:\/\/doi.org\/10.1007\/s10009-015-0378-x","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"1","key":"4_CR39","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A Lomuscio","year":"2017","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transfer 19(1), 9\u201330 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"4_CR40","unstructured":"Martimiano, T., Santos, E.D., Olembo, M., Martina, J.: Ceremony analysis meets verifiable voting: individual verifiability in Helios. In: SECURWARE (2015)"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers (1993)","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Applying SAT methods in unbounded symbolic model checking. In: Proceedings of Computer Aided Verification (CAV). LNCS, vol.\u00a02404, pp. 250\u2013264 (2002)","DOI":"10.1007\/3-540-45657-0_19"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The tamarin prover for the symbolic analysis of security protocols. In: International Conference on Computer Aided Verification, pp. 696\u2013701. Springer, Cham (2013)","DOI":"10.1007\/978-3-642-39799-8_48"},{"issue":"7","key":"4_CR44","doi-asserted-by":"publisher","first-page":"934","DOI":"10.3923\/itj.2009.934.964","volume":"8","author":"B Meng","year":"2009","unstructured":"Meng, B.: A critical review of receipt-freeness and coercion-resistance. Inf. Technol. J. 8(7), 934\u2013964 (2009)","journal-title":"Inf. Technol. J."},{"key":"4_CR45","unstructured":"National Electoral Commission [Polish: Pa\u0144stwowa Komisja Wyborcza]: Presidential election 2020. [Polish: Wybory Prezydenta Rzeczypospolitej Polskiej 2020 r] (2020). https:\/\/prezydent20200628.pkw.gov.pl\/prezydent20200628\/pl"},{"key":"4_CR46","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-319-26350-2_41","volume-title":"AI 2015: Advances in Artificial Intelligence","author":"D Pattinson","year":"2015","unstructured":"Pattinson, D., Sch\u00fcrmann, C.: Vote counting as mathematical proof. In: Pfahringer, B., Renz, J. (eds.) AI 2015. LNCS (LNAI), vol. 9457, pp. 464\u2013475. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26350-2_41"},{"key":"4_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"Computer Aided Verification","author":"D Peled","year":"1993","unstructured":"Peled, D.: All from one, one for all: on model checking using representatives. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 409\u2013423. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56922-7_34"},{"key":"4_CR48","unstructured":"of\u00a0the Republic\u00a0of Poland, S.: Internet Legal Acts System [Polish: Internetowy System Akt\u00f3w Prawnych] (2022). https:\/\/isap.sejm.gov.pl\/isap.nsf\/search.xsp?status=O&kw=wybory"},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Sempreboni, D., Vigano, L.: X-men: a mutation-based approach for the formal analysis of security ceremonies. In: 2020 IEEE European Symposium on Security and Privacy (EuroS &P), pp. 87\u2013104. IEEE (2020)","DOI":"10.1109\/EuroSP48549.2020.00014"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"Shoham, Y., Leyton-Brown, K.: Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511811654"},{"key":"4_CR51","unstructured":"Skubiszewski, M.: Electoral Observatory to the President of the NEC: Incorrectly printed ballots abroad - need to address the problem [Polish: Obserwatorium Wyborcze do Przewodnicz\u0105cego PKW: Nieprawid\u0142owo wydrukowane karty do g\u0142osowania za granic\u0105 - konieczno\u015b\u0107 rozwi\u0105zania problemu]. https:\/\/monitorkonstytucyjny.eu\/archiwa\/14355"},{"key":"4_CR52","unstructured":"Spotted-Lublin: Election 2020 ballot papers without red DEC seal [Polish: Wybory 2020. Karty do g\u0142osowania bez czerwonej piecz\u0119ci obwodowej komisji wyborczej]. https:\/\/spottedlublin.pl\/wybory-2020-karty-do-glosowania-bez-czerwonej-pieczeci-obwodowej-komisji-wyborczej\/"},{"key":"4_CR53","doi-asserted-by":"publisher","unstructured":"Tabatabaei, M., Jamroga, W., Ryan, P.Y.A.: Expressing receipt-freeness and coercion-resistance in logics of strategic ability: Preliminary attempt. In: Proceedings of the 1st International Workshop on AI for Privacy and Security, PrAISe@ECAI 2016, pp. 1:1\u20131:8. ACM (2016). https:\/\/doi.org\/10.1145\/2970030.2970039","DOI":"10.1145\/2970030.2970039"}],"container-title":["Lecture Notes in Computer Science","Socio-Technical Aspects in Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-83072-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T18:59:10Z","timestamp":1741805950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-83072-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031830716","9783031830723"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-83072-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"STAST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Socio-Technical Aspects in Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"stast2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/stast.uni.lu\/","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":"20","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":"6","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":"2","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":"30% - 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":"2","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)"}},{"value":"1 external reviewers involved (outside the PC)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}