{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T02:24:51Z","timestamp":1771554291488,"version":"3.50.1"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031542039","type":"print"},{"value":"9783031542046","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-54204-6_21","type":"book-chapter","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T19:02:53Z","timestamp":1709233373000},"page":"344-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Comparison of\u00a0Ethereum Smart Contract Analysis and\u00a0Verification Methods"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-2562-1395","authenticated-orcid":false,"given":"Vincent","family":"Happersberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4846-005X","authenticated-orcid":false,"given":"Frank-Walter","family":"J\u00e4kel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Knothe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0837-7948","authenticated-orcid":false,"given":"Yvonne-Anne","family":"Pignolet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7798-1711","authenticated-orcid":false,"given":"Stefan","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,1]]},"reference":[{"key":"21_CR1","unstructured":"Awosika, E., Richards, S., et al.: Formal verification of smart contracts (2022). https:\/\/github.com\/ethereum\/ethereum-org-website\/blob\/dev\/src\/content\/developers\/docs\/smart-contracts\/formal-verification\/index.md"},{"key":"21_CR2","unstructured":"InterFi Network: Smart-Contract-Audits (2023). https:\/\/github.com\/interfinetwork\/smart-contract-audits"},{"key":"21_CR3","unstructured":"Hajdu, A., et al.: Solc-verify-readme.md (2021). https:\/\/github.com\/SRI-CSL\/solidity\/blob\/boogie\/SOLC-VERIFY-README.md"},{"key":"21_CR4","unstructured":"chriseth et al.: Version 0.8.0 (2020). https:\/\/github.com\/ethereum\/solidity\/releases\/tag\/v0.8.0"},{"key":"21_CR5","unstructured":"agaperste et al.: Smart Contracts Created (Granular) (2023). https:\/\/dune.com\/queries\/688911"},{"key":"21_CR6","unstructured":"J.F.F., et al.: Smartbugs-Curated (2022). https:\/\/github.com\/smartbugs\/smartbugs-curated\/tree\/main\/dataset"},{"key":"21_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2020.101227","volume":"67","author":"M Almakhour","year":"2020","unstructured":"Almakhour, M., Sliman, L., Samhat, A.E., Mellouk, A.: Verification of smart contracts: a survey. Pervas. Mob. Comput. 67, 101227 (2020)","journal-title":"Pervas. Mob. Comput."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Antonino, P., Roscoe, A.: Formalising and verifying smart contracts with solidifier: a bounded model checker for solidity. arXiv preprint arXiv:2002.02710 (2020)","DOI":"10.1145\/3412841.3442051"},{"key":"21_CR9","unstructured":"Antonopoulos, A.M., Wood, G.: Mastering Ethereum: Building Smart Contracts and Dapps. O\u2019reilly Media (2018)"},{"key":"21_CR10","unstructured":"Behan, S.: Solidity Smart Contract Testing with Static Analysis Tools. Master\u2019s thesis, Dublin, National College of Ireland (2022). https:\/\/norma.ncirl.ie\/5932\/. Submitted"},{"key":"21_CR11","unstructured":"Bernardi, T., et al.: Wip: finding bugs automatically in smart contracts with parameterized invariants (2020)"},{"key":"21_CR12","unstructured":"Bernhard Mueller, F.I.E.A.: Mythril (2017). https:\/\/github.com\/ConsenSys\/mythril"},{"key":"21_CR13","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive theorem proving and program development. In: Coq\u2019Art: The Calculus of Inductive Constructions. Springer (2013)"},{"key":"21_CR14","unstructured":"CertiK: Certik - Securing the web3 World (2022). https:\/\/www.certik.com\/"},{"key":"21_CR15","unstructured":"Chriseth, Liu, D., et al.: Solidity (2016). https:\/\/github.com\/ethereum\/solidity\/blob\/develop\/docs\/security-considerations.rst"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Di Angelo, M., Salzer, G.: A survey of tools for analyzing ethereum smart contracts. In: 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), pp. 69\u201378. IEEE (2019)","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Dika, A., Nowostawski, M.: Security vulnerabilities in ethereum smart contracts. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 955\u2013962. IEEE (2018)","DOI":"10.1109\/Cybermatics_2018.2018.00182"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Durieux, T., Ferreira, J.F., Abreu, R., Cruz, P.: Empirical review of automated analysis tools on 47,587 ethereum smart contracts. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 530\u2013541 (2020)","DOI":"10.1145\/3377811.3380364"},{"key":"21_CR19","unstructured":"Ethereum. Goerli Testnet Explorer (2015). https:\/\/goerli.etherscan.io\/"},{"key":"21_CR20","unstructured":"Ethereum. The Native IDE for Web3 Development (2018). https:\/\/remix.ethereum.org\/"},{"key":"21_CR21","doi-asserted-by":"publisher","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: 2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp. 8\u201315 (2019). https:\/\/doi.org\/10.1109\/WETSEB.2019.00008","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Ferreira, J.F., Cruz, P., Durieux, T., Abreu, R.: Smartbugs: a framework to analyze solidity smart contracts. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, pp. 1349\u20131352 (2020)","DOI":"10.1145\/3324884.3415298"},{"key":"21_CR23","unstructured":"Hajdu, A.: Solidity Summit Demo (2022). https:\/\/github.com\/hajduakos\/solidity-summit-demo"},{"key":"21_CR24","doi-asserted-by":"publisher","unstructured":"Hajdu, \u00c1., Jovanovi\u0107, D.: solc-verify: a modular verifier for Solidity smart contracts. In: Chakraborty, S., Navas, J.A. (eds.) Verified Software. Theories, Tools, and Experiments. LNCS, vol. 12301, pp. 161\u2013179. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_11","DOI":"10.1007\/978-3-030-41600-3_11"},{"key":"21_CR25","unstructured":"Hajdu, \u00c1., Jovanovi\u0107, D., Ciocarlie, G.: Formal specification and verification of solidity contracts with events. arXiv preprint arXiv:2005.10382 (2020)"},{"key":"21_CR26","unstructured":"Happersberger, V.: Contract of the two-phase commit smart contract (2023). https:\/\/goerli.etherscan.io\/address\/0x6e972a23da401321820ff121c2e41e43140b3dd1\/#code"},{"key":"21_CR27","unstructured":"Harz, D., Knottenbelt, W.: Towards safer smart contracts: a survey of languages and verification methods. arXiv preprint arXiv:1809.09805 (2018)"},{"issue":"5","key":"21_CR28","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/MNET.001.1900656","volume":"34","author":"D He","year":"2020","unstructured":"He, D., Deng, Z., Zhang, Y., Chan, S., Cheng, Y., Guizani, N.: Smart contract vulnerability analysis and security audit. IEEE Network 34(5), 276\u2013282 (2020). https:\/\/doi.org\/10.1109\/MNET.001.1900656","journal-title":"IEEE Network"},{"issue":"3","key":"21_CR29","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/j.tcs.2008.03.013","volume":"404","author":"F Ivan\u010di\u0107","year":"2008","unstructured":"Ivan\u010di\u0107, F., Yang, Z., Ganai, M.K., Gupta, A., Ashar, P.: Efficient sat-based bounded model checking for software verification. Theoret. Comput. Sci. 404(3), 256\u2013274 (2008)","journal-title":"Theoret. Comput. Sci."},{"key":"21_CR30","unstructured":"Nikolic, I.: Maian (2018). https:\/\/github.com\/ivicanikolicsg\/MAIAN"},{"key":"21_CR31","doi-asserted-by":"publisher","unstructured":"Kaleem, M., Mavridou, A., Laszka, A.: Vyper: a security comparison with solidity based on common vulnerabilities. In: 2020 2nd Conference on Blockchain Research and Applications for Innovative Networks and Services (BRAINS), pp. 107\u2013111 (2020). https:\/\/doi.org\/10.1109\/BRAINS49436.2020.9223278","DOI":"10.1109\/BRAINS49436.2020.9223278"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: Zeus: analyzing safety of smart contracts. In: NDSS, pp. 1\u201312 (2018)","DOI":"10.14722\/ndss.2018.23082"},{"key":"21_CR33","doi-asserted-by":"publisher","unstructured":"Kongmanee, J., Kijsanayothin, P., Hewett, R.: Securing smart contracts in blockchain. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering Workshop (ASEW), pp. 69\u201376 (2019). https:\/\/doi.org\/10.1109\/ASEW.2019.00032","DOI":"10.1109\/ASEW.2019.00032"},{"key":"21_CR34","doi-asserted-by":"crossref","unstructured":"Lee, W.M.: Using the metamask chrome extension. In: Beginning Ethereum Smart Contracts Programming, pp. 93\u2013126. Springer (2019)","DOI":"10.1007\/978-1-4842-5086-0_5"},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"21_CR36","unstructured":"Marks, B., Yang, H., Na, Y.: Two-phase commit using blockchain (2022). https:\/\/www.scs.stanford.edu\/22spcs244b\/projects\/TwoPhase%20Commit%20Using%20Blockchain.pdf"},{"key":"21_CR37","doi-asserted-by":"publisher","unstructured":"Mohanta, B.K., Panda, S.S., Jena, D.: An overview of smart contract and use cases in blockchain technology. In: 2018 9th International Conference on Computing, Communication and Networking Technologies (ICCCNT), pp. 1\u20134 (2018). https:\/\/doi.org\/10.1109\/ICCCNT.2018.8494045","DOI":"10.1109\/ICCCNT.2018.8494045"},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"Murray, Y., Anisi, D.A.: Survey of formal verification methods for smart contracts on blockchain. In: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp. 1\u20136. IEEE (2019)","DOI":"10.1109\/NTMS.2019.8763832"},{"key":"21_CR39","unstructured":"NCC Group + Contributors: Dasp - Top 10. https:\/\/dasp.co\/"},{"key":"21_CR40","doi-asserted-by":"publisher","unstructured":"Neha\u00ef, Z., Piriou, P.Y., Daumas, F.: Model-checking of smart contracts. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 980\u2013987 (2018). https:\/\/doi.org\/10.1109\/Cybermatics_2018.2018.00185","DOI":"10.1109\/Cybermatics_2018.2018.00185"},{"key":"21_CR41","doi-asserted-by":"publisher","unstructured":"Neha\u00ef, Z., Bobot, F.: Deductive proof of industrial smart contracts using why3. In: Sekerinski, E., et al. (eds.) Formal Methods. FM 2019 International Workshops: Porto, Portugal, 7\u201311 October 2019, Revised Selected Papers, Part I, pp. 299\u2013311. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54994-7_22","DOI":"10.1007\/978-3-030-54994-7_22"},{"key":"21_CR42","unstructured":"Perez, D., Livshits, B.: Smart contract vulnerabilities: does anyone care? arXiv preprint arXiv:1902.06710, pp. 1\u201315 (2019)"},{"key":"21_CR43","unstructured":"Perez, D., Livshits, B.: Smart contract vulnerabilities: vulnerable does not imply exploited. In: USENIX Security Symposium, pp. 1325\u20131341 (2021)"},{"key":"21_CR44","doi-asserted-by":"publisher","unstructured":"Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M.: Verx: safety verification of smart contracts. In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 1661\u20131677 (2020). https:\/\/doi.org\/10.1109\/SP40000.2020.00024","DOI":"10.1109\/SP40000.2020.00024"},{"issue":"1","key":"21_CR45","first-page":"021","volume":"19","author":"N Petrovi\u0107","year":"2020","unstructured":"Petrovi\u0107, N., To\u0161i\u0107, M.: Semantic approach to smart contract verification. Facta Univ. Ser. Automat. Control Robot. 19(1), 021\u2013037 (2020)","journal-title":"Facta Univ. Ser. Automat. Control Robot."},{"key":"21_CR46","doi-asserted-by":"publisher","unstructured":"Ribeiro, M., Ad\u00e3o, P., Mateus, P.: Formal verification of ethereum smart contracts using Isabelle\/HOL. In: Nigam, V., et al. (eds.) Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, pp. 71\u201397. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-62077-6_7","DOI":"10.1007\/978-3-030-62077-6_7"},{"key":"21_CR47","doi-asserted-by":"crossref","unstructured":"Ro\u015fu, G., \u015etef\u0103nescu, A.: From hoare logic to matching logic reachability. In: Proceedings of the Formal Methods: 18th International Symposium (FM 2012), Paris, 27\u201331 August 2012, pp. 387\u2013402. Springer, Cham (2012)","DOI":"10.1007\/978-3-642-32759-9_32"},{"key":"21_CR48","unstructured":"Runtime Verification. Smart Contract Analysis and Verification (2023). https:\/\/runtimeverification.com\/smartcontract"},{"key":"21_CR49","unstructured":"Seres, I.A.: Implementing 2 phase commit (2pc) with solidity (2018). https:\/\/ethereum.stackexchange.com\/questions\/54950\/implementing-2-phase-commit-2pc-with-solidity"},{"key":"21_CR50","unstructured":"Lahiri, S.: Verisolcontracts.sol (2019). https:\/\/github.com\/microsoft\/verisol\/blob\/master\/Test\/regressions\/Libraries\/VeriSolContracts.sol"},{"key":"21_CR51","unstructured":"Lahiri, S., ellab123, et al.: verisol. https:\/\/github.com\/microsoft\/verisol"},{"key":"21_CR52","unstructured":"SmartContractSecurity + Contributers. SWC registry smart contract weakness classification and test cases (2020). https:\/\/swcregistry.io\/"},{"key":"21_CR53","doi-asserted-by":"publisher","unstructured":"Tolmach, P., Li, Y., Lin, S.-W., Liu, Y., Li, Z.: A survey of smart contract formal specification and verification. ACM Comput. Surv. 54(7), 1\u201338 (2022). https:\/\/doi.org\/10.1145\/3464421","DOI":"10.1145\/3464421"},{"key":"21_CR54","doi-asserted-by":"crossref","unstructured":"Torres, C.F., Sch\u00fctte, J., State, R.: Osiris: hunting for integer bugs in ethereum smart contracts. In: Proceedings of the 34th Annual Computer Security Applications Conference, pp. 664\u2013676 (2018)","DOI":"10.1145\/3274694.3274737"},{"key":"21_CR55","doi-asserted-by":"publisher","unstructured":"Wang, Y., et al.: Formal verification of workflow policies for smart contracts in azure blockchain. In: Chakraborty, S., Navas, J.A. (eds.) Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13\u201314, 2019, Revised Selected Papers, pp. 87\u2013106. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_7","DOI":"10.1007\/978-3-030-41600-3_7"},{"key":"21_CR56","doi-asserted-by":"publisher","first-page":"21411","DOI":"10.1109\/ACCESS.2020.2969437","volume":"8","author":"Z Yang","year":"2020","unstructured":"Yang, Z., Lei, H., Qian, W.: A hybrid formal verification system in coq for ensuring the reliability and security of ethereum-based service smart contracts. IEEE Access 8, 21411\u201321436 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2969437","journal-title":"IEEE Access"},{"key":"21_CR57","unstructured":"Hirai, Y.: Ethereum-Formal-Verification-Overview (2018). https:\/\/github.com\/pirapira\/ethereum-formal-verification-overview"},{"key":"21_CR58","doi-asserted-by":"publisher","unstructured":"Zou, W., et al.: Smart contract development: challenges and opportunities. IEEE Trans. Softw. Eng. 47(10), 2084\u20132106 (2021). https:\/\/doi.org\/10.1109\/TSE.2019.2942301","DOI":"10.1109\/TSE.2019.2942301"}],"container-title":["Lecture Notes in Computer Science","Computer Security. ESORICS 2023 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-54204-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T19:06:12Z","timestamp":1709233572000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-54204-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031542039","9783031542046"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-54204-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Hague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2023.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"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":"478","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":"93","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":"0","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":"19% - 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-4","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":"10","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}