{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:07:14Z","timestamp":1743120434130,"version":"3.40.3"},"publisher-location":"Cham","reference-count":61,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031171420"},{"type":"electronic","value":"9783031171437"}],"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.springer.com\/tdm"},{"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.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17143-7_23","type":"book-chapter","created":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T04:04:22Z","timestamp":1663905862000},"page":"466-489","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV)"],"prefix":"10.1007","author":[{"given":"Alaa","family":"Oqaily","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosr","family":"Jarraya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makan","family":"Pourzandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suryadipta","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,24]]},"reference":[{"key":"23_CR1","unstructured":"Cloud Security Alliance. https:\/\/cloudsecurityalliance.org\/research\/working-groups\/cloud-controls-matrix\/. Accessed 11 Sept 2021"},{"key":"23_CR2","unstructured":"ETSI: Network Functions Virtualisation Architectural Framework. https:\/\/www.etsi.org\/. Accessed 11 Sept 2021"},{"key":"23_CR3","unstructured":"Network Functions Virtualisation (NFV); NFV Security; Problem Statement. https:\/\/www.etsi.org\/. Accessed 11 Sept 2021"},{"key":"23_CR4","unstructured":"Open Baton. http:\/\/openbaton.github.io\/. Accessed 11 Sept 2021"},{"key":"23_CR5","unstructured":"Open Platform for NFV. https:\/\/www.opnfv.org\/. Accessed 11 Sept 2021"},{"key":"23_CR6","unstructured":"Open Source MANO. https:\/\/osm.etsi.org\/. Accessed 11 Sept 2021"},{"key":"23_CR7","unstructured":"OpenStack. http:\/\/www.openstack.org\/. Accessed 11 Sept 2021"},{"key":"23_CR8","unstructured":"OpenStack Tacker. http:\/\/releases.openstack.org\/teams\/tacker.html. Accessed 11 Sept 2021"},{"key":"23_CR9","unstructured":"Sugar: a SAT-based Constraint Solver. http:\/\/cspsat.gitlab.io\/sugar\/. Accessed 8 Nov 2021"},{"key":"23_CR10","unstructured":"Verizon launches industry-leading large OpenStack NFV deployment. http:\/\/www.openstack.org\/news\/. Accessed 11 Sept 2021"},{"key":"23_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2019.106984","volume":"167","author":"AA Barakabitze","year":"2020","unstructured":"Barakabitze, A.A., Ahmad, A., Mijumbi, R., Hines, A.: 5G network slicing using SDN and NFV: a survey of taxonomy, architectures and future challenges. Comput. Netw. 167, 106984 (2020)","journal-title":"Comput. Netw."},{"key":"23_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4129-7","volume-title":"Mathematical Logic for Computer Science","author":"M Ben-Ari","year":"2012","unstructured":"Ben-Ari, M.: Mathematical Logic for Computer Science. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-1-4471-4129-7"},{"key":"23_CR13","unstructured":"Bursell, M., et al.: Network Functions Virtualisation (NFV), NFV security, security and trust guidance, v. 1.1. 1. In: Technical Report, GS NFV-SEC 003. European Telecommunications Standards Institute (2014)"},{"key":"23_CR14","first-page":"233","volume":"336","author":"S Buss","year":"2021","unstructured":"Buss, S., Nordstr\u00f6m, J.: Proof complexity and sat solving. Handb. Satisfiabil. 336, 233\u2013350 (2021)","journal-title":"Handb. Satisfiabil."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Chen, T., Guestrin, C.: Xgboost: a scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 785\u2013794 (2016)","DOI":"10.1145\/2939672.2939785"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Chen, Z., Jiang, F., Cheng, Y., Gu, X., Liu, W., Peng, J.: XGBoost classifier for DDoS attack detection and analysis in SDN-based cloud. In: IEEE International Conference on Big Data and Smart Computing (BigComp), pp. 251\u2013256 (2018)","DOI":"10.1109\/BigComp.2018.00044"},{"key":"23_CR17","unstructured":"Danka, T., Horvath, P.: modAL: a modular active learning framework for Python. arXiv preprint arXiv:1805.00979 (2018)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502\u2013518. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24605-3_37"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Ezudheen, P., Neider, D., D\u2019Souza, D., Garg, P., Madhusudan, P.: Horn-ice learning for synthesizing invariants and contracts. In: Proceedings of the ACM on Programming Languages, vol. 2(OOPSLA), pp. 1\u201325 (2018)","DOI":"10.1145\/3276501"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Fayazbakhsh, S.K., Reiter, M.K., Sekar, V.: Verifiable network function outsourcing: requirements, challenges, and roadmap. In: Proceedings of the 2013 Workshop on Hot Topics in Middleboxes and Network Function Virtualization, pp. 25\u201330 (2013)","DOI":"10.1145\/2535828.2535831"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Flittner, M., Scheuermann, J.M., Bauer, R.: Chainguard: controller-independent verification of service function chaining in cloud computing. In: IEEE Conference on Network Function Virtualization and Software Defined Networks, pp. 1\u20137 (2017)","DOI":"10.1109\/NFV-SDN.2017.8169846"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-319-08867-9_5","volume-title":"Computer Aided Verification","author":"P Garg","year":"2014","unstructured":"Garg, P., L\u00f6ding, C., Madhusudan, P., Neider, D.: ICE:\u00a0a\u00a0robust\u00a0framework\u00a0for\u00a0learning\u00a0invariants. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 69\u201387. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_5"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Gong, W., Zhou, X.: A survey of sat solver. In: Proceedings of AIP Conference, vol. 1836, p. 020059. AIP Publishing LLC (2017)","DOI":"10.1063\/1.4981999"},{"key":"23_CR24","unstructured":"IEC ISO Std: ISO 27017. Information technology-Security techniques (DRAFT) (2012)"},{"key":"23_CR25","unstructured":"IETF, SFC: Internet Engineering Task, SFC Active WG Working Group Documents (2020). https:\/\/www.redhat.com\/en\/blog\/2018-year-open-source-networking-csps"},{"key":"23_CR26","unstructured":"Jayaraman, K., Bj\u00f8rner, N., Outhred, G., Kaufman, C.: Automated analysis and debugging of network connectivity policies. Micros. Res., 1\u201311 (2014)"},{"key":"23_CR27","unstructured":"Kazemian, P., Chang, M., Zeng, H., Varghese, G., McKeown, N., Whyte, S.: Real time network policy checking using header space analysis. In: 10th $$\\{$$USENIX$$\\}$$ Symposium on Networked Systems Design and Implementation (NSDI 2013), pp. 99\u2013111 (2013)"},{"issue":"1","key":"23_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s13635-018-0072-0","volume":"2018","author":"Z Kotulski","year":"2018","unstructured":"Kotulski, Z., et al.: Towards constructive approach to end-to-end slice isolation in 5G networks. EURASIP J. Inf. Secur. 2018(1), 1\u201323 (2018). https:\/\/doi.org\/10.1186\/s13635-018-0072-0","journal-title":"EURASIP J. Inf. Secur."},{"key":"23_CR29","series-title":"Studies in Big Data","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-33383-0_5","volume-title":"Machine Learning for Evolution Strategies","author":"O Kramer","year":"2016","unstructured":"Kramer, O.: Scikit-learn. In: Machine Learning for Evolution Strategies. SBD, vol. 20, pp. 45\u201353. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33383-0_5"},{"key":"23_CR30","unstructured":"Thirunavukkarasu, S.L., et al.: Modeling NFV deployment to identify the cross-level inconsistency vulnerabilities. In: IEEE CloudCom (2019)"},{"key":"23_CR31","unstructured":"Lopes, N.P., Bj\u00f8rner, N., Godefroid, P., Jayaraman, K., Varghese, G.: Checking beliefs in dynamic networks. In: 12th $$\\{$$USENIX$$\\}$$ Symposium on Networked Systems Design and Implementation (NSDI 2015), pp. 499\u2013512 (2015)"},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"Madi, T., et al.: ISOTOP: auditing virtual networks isolation across cloud layers in OpenStack. ACM Trans. Priv. Secur. (TOPS) 22(1), 1\u201335 (2018)","DOI":"10.1145\/3267339"},{"key":"23_CR33","doi-asserted-by":"crossref","unstructured":"Madi, T., Majumdar, S., Wang, Y., Jarraya, Y., Pourzandi, M., Wang, L.: Auditing security compliance of the virtualized infrastructure in the cloud: application to OpenStack. In: Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy, pp. 195\u2013206 (2016)","DOI":"10.1145\/2857705.2857721"},{"issue":"4","key":"23_CR34","doi-asserted-by":"publisher","first-page":"305","DOI":"10.3390\/e20040305","volume":"20","author":"P Maji","year":"2018","unstructured":"Maji, P., Mullins, R.: On the reduction of computational complexity of deep convolutional neural networks. Entropy 20(4), 305 (2018)","journal-title":"Entropy"},{"key":"23_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-45744-4_3","volume-title":"Computer Security \u2013 ESORICS 2016","author":"S Majumdar","year":"2016","unstructured":"Majumdar, S., et al.: Proactive verification of security compliance for clouds through pre-computation: application to openstack. In: Askoxylakis, I., Ioannidis, S., Katsikas, S., Meadows, C. (eds.) ESORICS 2016. LNCS, vol. 9878, pp. 47\u201366. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45744-4_3"},{"key":"23_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-66399-9_15","volume-title":"Computer Security \u2013 ESORICS 2017","author":"S Majumdar","year":"2017","unstructured":"Majumdar, S., et al.: LeaPS: learning-based proactive security auditing for clouds. In: Foley, S.N., Gollmann, D., Snekkenes, E. (eds.) ESORICS 2017. LNCS, vol. 10493, pp. 265\u2013285. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66399-9_15"},{"key":"23_CR37","doi-asserted-by":"crossref","unstructured":"Majumdar, S., et al.: Security compliance auditing of identity and access management in the cloud: application to OpenStack. In: IEEE 7th International Conference on Cloud Computing Technology and Science, pp. 58\u201365 (2015)","DOI":"10.1109\/CloudCom.2015.80"},{"issue":"5","key":"23_CR38","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.1109\/TIFS.2017.2779444","volume":"13","author":"S Majumdar","year":"2017","unstructured":"Majumdar, S., et al.: User-level runtime security auditing for the cloud. IEEE Trans. Inf. Forensics Secur. 13(5), 1185\u20131199 (2017)","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"23_CR39","unstructured":"Marchetto, G., Sisto, R., Yusupov, J., Ksentini, A.: Virtual network embedding with formal reachability assurance. In: 14th International Conference on Network and Service Management, pp. 368\u2013372 (2018)"},{"issue":"2","key":"23_CR40","first-page":"1","volume":"7","author":"AE Mohamed","year":"2017","unstructured":"Mohamed, A.E.: Comparative study of four supervised machine learning techniques for classification. Inf. J. Appl. Sci. Technol. 7(2), 1\u201315 (2017)","journal-title":"Inf. J. Appl. Sci. Technol."},{"issue":"2002","key":"23_CR41","first-page":"173","volume":"85","author":"MC Monard","year":"2002","unstructured":"Monard, M.C., Batista, G.E.: Learmng with skewed class distrihutions. Adv. Logic Artif. Intell. Robotics: LAPTEC 85(2002), 173 (2002)","journal-title":"Adv. Logic Artif. Intell. Robotics: LAPTEC"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Neutatz, F., Mahdavi, M., Abedjan, Z.: Ed2: a case for active learning in error detection. In: Proceedings of the 28th ACM International Conference on Information and Knowledge Management, pp. 2249\u20132252 (2019)","DOI":"10.1145\/3357384.3358129"},{"key":"23_CR43","unstructured":"OpenStack Training Labs: OpenStack Training Labs. https:\/\/wiki.openstack.org\/wiki\/Documentation\/training-labs"},{"key":"23_CR44","doi-asserted-by":"crossref","unstructured":"Oqaily, A., et al.: NFVGuard: verifying the security of multilevel network functions virtualization (NFV) stack. In: 2020 IEEE International Conference on Cloud Computing Technology and Science, pp. 33\u201340. IEEE (2020)","DOI":"10.1109\/CloudCom49646.2020.00003"},{"key":"23_CR45","doi-asserted-by":"crossref","unstructured":"Quinn, P., Nadeau, T.: Rfc 7948, problem statement for service function chaining. Internet Engineering Task Force (IETF), ed (2015)","DOI":"10.17487\/rfc7498"},{"issue":"6","key":"23_CR46","first-page":"847","volume":"17","author":"S Ren","year":"2020","unstructured":"Ren, S., Zhang, X.: Synthesizing conjunctive and disjunctive linear invariants by K-means++ and SVM. Int. Arab J. Inf. Technol. 17(6), 847\u2013856 (2020)","journal-title":"Int. Arab J. Inf. Technol."},{"key":"23_CR47","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-030-04191-5_17","volume-title":"Artificial Intelligence XXXV","author":"HM Sani","year":"2018","unstructured":"Sani, H.M., Lei, C., Neagu, D.: Computational complexity analysis of decision tree algorithms. In: Bramer, M., Petridis, M. (eds.) SGAI 2018. LNCS (LNAI), vol. 11311, pp. 191\u2013197. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04191-5_17"},{"issue":"1","key":"23_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s40537-021-00485-z","volume":"8","author":"I Sassi","year":"2021","unstructured":"Sassi, I., Anter, S., Bekkhoucha, A.: A graph-based big data optimization approach using hidden markov model and constraint satisfaction problem. J. Big Data 8(1), 1\u201329 (2021)","journal-title":"J. Big Data"},{"key":"23_CR49","doi-asserted-by":"crossref","unstructured":"Schear, N., Cable II, P.T., Moyer, T.M., Richard, B., Rudd, R.: Bootstrapping and maintaining trust in the cloud. In: Proceedings of the 32Nd Annual Conference on Computer Security Applications, pp. 65\u201377 (2016)","DOI":"10.1145\/2991079.2991104"},{"key":"23_CR50","unstructured":"Settles, B.: Active learning literature survey (2009)"},{"key":"23_CR51","doi-asserted-by":"crossref","unstructured":"Shin, M.K., Choi, Y., Kwak, H.H., Pack, S., Kang, M., Choi, J.Y.: Verification for NFV-enabled network services. In: ICTC (2015)","DOI":"10.1109\/ICTC.2015.7354672"},{"key":"23_CR52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.csi.2017.11.007","volume":"58","author":"A Souri","year":"2018","unstructured":"Souri, A., Navimipour, N.J., Rahmani, A.M.: Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review. Comput. Stand. Interfaces 58, 1\u201322 (2018)","journal-title":"Comput. Stand. Interfaces"},{"key":"23_CR53","unstructured":"SP, NIST: 800\u201353. Recommended security controls for federal information systems, pp. 800\u201353 (2003)"},{"key":"23_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-24072-5_18","volume-title":"Service Oriented and Cloud Computing","author":"S Spinoso","year":"2015","unstructured":"Spinoso, S., Virgilio, M., John, W., Manzalini, A., Marchetto, G., Sisto, R.: Formal verification of virtual network function graphs in an SP-devops context. In: Dustdar, S., Leymann, F., Villari, M. (eds.) ESOCC 2015. LNCS, vol. 9306, pp. 253\u2013262. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24072-5_18"},{"key":"23_CR55","unstructured":"Tamura, N., Banbara, M.: Sugar: a CSP to SAT translator based on order encoding. In: Proceedings of the Second International CSP Solver Competition (2008)"},{"key":"23_CR56","doi-asserted-by":"crossref","unstructured":"Tschaen, B., Zhang, Y., Benson, T., Banerjee, S., Lee, J., Kang, J.M.: Sfc-checker: checking the correct forwarding behavior of service function chaining. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), pp. 134\u2013140 (2016)","DOI":"10.1109\/NFV-SDN.2016.7919488"},{"key":"23_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-319-52234-0_28","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Y Vizel","year":"2017","unstructured":"Vizel, Y., Gurfinkel, A., Shoham, S., Malik, S.: IC3 - flipping the E in ICE. In: Bouajjani, A., Monniaux, D. (eds.) VMCAI 2017. LNCS, vol. 10145, pp. 521\u2013538. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52234-0_28"},{"key":"23_CR58","doi-asserted-by":"crossref","unstructured":"Wang, Y., Li, Z., Xie, G., Salamatian, K.: Enabling automatic composition and verification of service function chain. In: IEEE\/ACM 25th International Symposium on Quality of Service (IWQoS), pp. 1\u20135 (2017)","DOI":"10.1109\/IWQoS.2017.7969147"},{"key":"23_CR59","doi-asserted-by":"crossref","unstructured":"Wang, Y., et al.: TenantGuard: scalable runtime verification of cloud-wide VM-level network isolation. In: The Network and Distributed System Security Symposium (2017)","DOI":"10.14722\/ndss.2017.23365"},{"key":"23_CR60","doi-asserted-by":"crossref","unstructured":"Zhang, X., Li, Q., Wu, J., Yang, J.: Generic and agile service function chain verification on cloud. In: IEEE\/ACM 25th International Symposium on Quality of Service, pp. 1\u201310 (2017)","DOI":"10.1109\/IWQoS.2017.7969150"},{"key":"23_CR61","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Wu, W., Banerjee, S., Kang, J.M., Sanchez, M.A.: Sla-verifier: stateful and quantitative verification for service chaining. In: IEEE INFOCOM 2017-IEEE Conference on Computer Communications, pp. 1\u20139 (2017)","DOI":"10.1109\/INFOCOM.2017.8057041"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17143-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T04:10:25Z","timestamp":1663906225000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17143-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031171420","9783031171437"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17143-7_23","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":"24 September 2022","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":"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":"30 September 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":"esorics2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2022.compute.dtu.dk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"562","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":"104","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":"6","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":"12","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)"}}]}}