{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:11:22Z","timestamp":1743095482625,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031222948"},{"type":"electronic","value":"9783031222955"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-22295-5_13","type":"book-chapter","created":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T02:36:12Z","timestamp":1672540572000},"page":"234-252","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Implementations Synthesis of\u00a0Secure Protocols and\u00a0Attacks from\u00a0Abstract Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5483-7381","authenticated-orcid":false,"given":"Camille","family":"Sivelle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorys","family":"Debbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6127-9816","authenticated-orcid":false,"given":"Maxime","family":"Puys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4459-511X","authenticated-orcid":false,"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3142-3538","authenticated-orcid":false,"given":"Thibault","family":"Franco-Rondisson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,1]]},"reference":[{"key":"13_CR1","unstructured":"ARM mBed. https:\/\/tls.mbed.org\/. Accessed 21 Jan 2022"},{"key":"13_CR2","unstructured":"OpenQuantumSafe. https:\/\/openquantumsafe.org. Accessed 21 Jan 2022"},{"key":"13_CR3","unstructured":"OpenSSL. https:\/\/www.openssl.org\/. Accessed 21 Jan 2022"},{"key":"13_CR4","unstructured":"Python Lark parser. https:\/\/lark-parser.readthedocs.io\/en\/latest\/. Accessed 21 Jan 2022"},{"key":"13_CR5","unstructured":"Cve-2008-0166: Openssl 0.9.8c-1 (2008). https:\/\/security-tracker.debian.org\/tracker\/CVE-2008-0166"},{"key":"13_CR6","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"13_CR7","doi-asserted-by":"publisher","unstructured":"Almeida, J.B., et al.: Jasmin: high-assurance and high-speed cryptography. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, pp. 1807\u20131823 (2017). https:\/\/doi.org\/10.1145\/3133956.3134078","DOI":"10.1145\/3133956.3134078"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Barbosa, M., et al.: SoK: computer-aided cryptography. In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24\u201327 May 2021, pp. 777\u2013795. IEEE (2021). https:\/\/doi.org\/10.1109\/SP40001.2021.00008","DOI":"10.1109\/SP40001.2021.00008"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-22792-9_5","volume-title":"Advances in Cryptology \u2013 CRYPTO 2011","author":"G Barthe","year":"2011","unstructured":"Barthe, G., Gr\u00e9goire, B., Heraud, S., B\u00e9guelin, S.Z.: Computer-aided security proofs for the working cryptographer. In: Rogaway, P. (ed.) CRYPTO 2011. LNCS, vol. 6841, pp. 71\u201390. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22792-9_5"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-39650-5_15","volume-title":"Computer Security \u2013 ESORICS 2003","author":"D Basin","year":"2003","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: An on-the-fly model-checker for security protocol analysis. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol. 2808, pp. 253\u2013270. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39650-5_15"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Bellare, M., Canetti, R., Krawczyk, H.: A modular approach to the design and analysis of authentication and key exchange protocols. In: Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, pp. 419\u2013428 (1998). https:\/\/doi.org\/10.1145\/276698.276854","DOI":"10.1145\/276698.276854"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-11486-1_24","volume-title":"Perspectives of Systems Informatics","author":"N Benaissa","year":"2010","unstructured":"Benaissa, N., M\u00e9ry, D.: Cryptographic protocols analysis in event B. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol. 5947, pp. 282\u2013293. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11486-1_24"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1890028.1890031","volume":"33","author":"J Bengtson","year":"2011","unstructured":"Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. (TOPLAS) 33(2), 1\u201345 (2011). https:\/\/doi.org\/10.1145\/1890028.1890031","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Bhargavan, K., et al.: DY*: a modular symbolic verification framework for executable cryptographic protocol code. In: EuroS &P 2021\u20136th IEEE European Symposium on Security and Privacy (2021). https:\/\/doi.org\/10.1109\/EuroSP51992.2021.00042","DOI":"10.1109\/EuroSP51992.2021.00042"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Bhargavan, K., Corin, R., Deni\u00e9lou, P.M., Fournet, C., Leifer, J.J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: 2009 22nd IEEE Computer Security Foundations Symposium, pp. 124\u2013140. IEEE (2009). https:\/\/doi.org\/10.1109\/CSF.2009.26","DOI":"10.1109\/CSF.2009.26"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"Bhargavan, K., Fournet, C., Corin, R., Zalinescu, E.: Cryptographically verified implementations for TLS. In: Proceedings of the 15th ACM Conference on Computer and Communications Security, pp. 459\u2013468 (2008). https:\/\/doi.org\/10.1145\/1455770.1455828","DOI":"10.1145\/1455770.1455828"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1452044.1452049","volume":"31","author":"K Bhargavan","year":"2008","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Tse, S.: Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. (TOPLAS) 31(1), 1\u201361 (2008). https:\/\/doi.org\/10.1145\/1452044.1452049","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"13_CR18","doi-asserted-by":"publisher","unstructured":"Bieber, P., Boulahia-Cuppens, N., Lehmann, T., van Wickeren, E.: Abstract machines for communication security. In: 1993 Proceedings Computer Security Foundations Workshop VI, pp. 137\u2013146. IEEE (1993). https:\/\/doi.org\/10.1109\/CSFW.1993.246632","DOI":"10.1109\/CSFW.1993.246632"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: 2001 Proceedings of the 14th IEEE Computer Security Foundations Workshop, pp. 82\u201396. IEEE (2001). https:\/\/doi.org\/10.1109\/CSFW.2001.930138","DOI":"10.1109\/CSFW.2001.930138"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Blanchet, B.: A computationally sound mechanized prover for security protocols (2006). https:\/\/doi.org\/10.1109\/SP.2006.1","DOI":"10.1109\/SP.2006.1"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2007.12.015","volume":"197","author":"P Ceelen","year":"2008","unstructured":"Ceelen, P., Mauw, S., Radomirovi\u0107, S.: Chosen-name attacks: an overlooked class of type-flaw attacks. Electron. Notes Theor. Comput. Sci. 197, 31\u201343 (2008). https:\/\/doi.org\/10.1016\/j.entcs.2007.12.015","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-540-74835-9_27","volume-title":"Computer Security \u2013 ESORICS 2007","author":"V Cortier","year":"2007","unstructured":"Cortier, V., Warinschi, B., Z\u0103linescu, E.: Synthesizing secure protocols. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol. 4734, pp. 406\u2013421. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74835-9_27"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","volume-title":"Computer Aided Verification","author":"CJF Cremers","year":"2008","unstructured":"Cremers, C.J.F.: The Scyther tool: verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 414\u2013418. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70545-1_38"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-33826-7_16","volume-title":"Software Engineering and Formal Methods","author":"P Cuoq","year":"2012","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 233\u2013247. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33826-7_16"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: The transport layer security (TLS) protocol version 1.2. RFC 5246 (2008)","DOI":"10.17487\/rfc5246"},{"issue":"2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983). https:\/\/doi.org\/10.1109\/TIT.1983.1056650","journal-title":"IEEE Trans. Inf. Theory"},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"Durumeric, Z., et al.: The matter of heartbleed. In: Proceedings of the 2014 conference on internet measurement conference, pp. 475\u2013488 (2014). https:\/\/doi.org\/10.1145\/2663716.2663755","DOI":"10.1145\/2663716.2663755"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03829-7_1","volume-title":"Foundations of Security Analysis and Design V","author":"S Escobar","year":"2009","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: Maude-NPA: cryptographic protocol analysis modulo equational properties. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) FOSAD 2007-2009. LNCS, vol. 5705, pp. 1\u201350. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03829-7_1"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-45146-4_7","volume-title":"Advances in Cryptology - CRYPTO 2003","author":"J Katz","year":"2003","unstructured":"Katz, J., Yung, M.: Scalable protocols for authenticated group key exchange. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol. 2729, pp. 110\u2013125. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45146-4_7"},{"key":"13_CR30","doi-asserted-by":"publisher","unstructured":"Lafourcade, P., Puys, M.: Performance evaluations of cryptographic protocols verification tools dealing with algebraic properties. In: Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, 26\u201328 October 2015, Revised Selected Papers, pp. 137\u2013155 (2015). https:\/\/doi.org\/10.1007\/978-3-319-30303-1_9","DOI":"10.1007\/978-3-319-30303-1_9"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 147\u2013166. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61042-1_43"},{"key":"13_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-39799-8_48","volume-title":"Computer Aided Verification","author":"S Meier","year":"2013","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 696\u2013701. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_48"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Scienc","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-30303-1_10","volume-title":"Foundations and Practice of Security","author":"P Modesti","year":"2015","unstructured":"Modesti, P.: AnBx: automatic generation and verification of security protocols implementations. In: Garcia-Alfaro, J., Kranakis, E., Bonfante, G. (eds.) FPS 2015. LNCS, vol. 9482, pp. 156\u2013173. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-30303-1_10"},{"issue":"12","key":"13_CR34","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978). https:\/\/doi.org\/10.1145\/359657.359659","journal-title":"Commun. ACM"},{"key":"13_CR35","doi-asserted-by":"publisher","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL: A Proof Assistant for Higher-Order Logic, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9_5","DOI":"10.1007\/3-540-45949-9_5"},{"issue":"1","key":"13_CR36","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/24592.24594","volume":"21","author":"D Otway","year":"1987","unstructured":"Otway, D., Rees, O.: Efficient and timely mutual authentication. SIGOPS Oper. Syst. Rev. 21(1), 8\u201310 (1987). https:\/\/doi.org\/10.1145\/24592.24594","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"13_CR37","doi-asserted-by":"publisher","unstructured":"Pozza, D., Sisto, R., Durante, L.: Spi2Java: Automatic cryptographic protocol java code generation from SPI calculus. In: Proceedings of the 18th International Conference on Advanced Information Networking and Application (2004). https:\/\/doi.org\/10.1109\/AINA.2004.1283943","DOI":"10.1109\/AINA.2004.1283943"},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Protzenko, J., et al.: Verified low-level programming embedded in f. Proc. ACM Program. Lang. 1(ICFP), 17\u20131 (2017). https:\/\/doi.org\/10.1145\/3110261","DOI":"10.1145\/3110261"},{"key":"13_CR39","doi-asserted-by":"publisher","unstructured":"Sprenger, C., Basin, D.: Developing security protocols by refinement. In: Proceedings of the 17th ACM Conference on Computer and Communications Security, pp. 361\u2013374 (2010). https:\/\/doi.org\/10.1145\/1866307.1866349","DOI":"10.1145\/1866307.1866349"},{"key":"13_CR40","doi-asserted-by":"publisher","unstructured":"Swamy, N., Weinberger, J., Schlesinger, C., Chen, J., Livshits, B.: Verifying higher-order programs with the Dijkstra monad. In: Proceedings of the 34th annual ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, pp. 387\u2013398 (2013). https:\/\/doi.org\/10.1145\/2499370.2491978","DOI":"10.1145\/2499370.2491978"}],"container-title":["Lecture Notes in Computer Science","Secure IT Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-22295-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T02:45:51Z","timestamp":1672541151000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-22295-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031222948","9783031222955"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-22295-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NordSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nordic Conference on Secure IT Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reykjavic","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iceland","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":"30 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nordsec2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nordsec2022.ru.is\/","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":"85","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":"20","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":"24% - 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":"7","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)"}}]}}