{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:14:29Z","timestamp":1784837669667,"version":"3.55.0"},"publisher-location":"Singapore","reference-count":26,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819606160","type":"print"},{"value":"9789819606177","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-981-96-0617-7_9","type":"book-chapter","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T14:46:56Z","timestamp":1732805216000},"page":"146-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Graph Convolutional Network Robustness Verification Algorithm Based on\u00a0Dual Approximation"],"prefix":"10.1007","author":[{"given":"Dongdong","family":"An","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qin","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianqi","family":"Shi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanhong","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,11,29]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Joardar, B.K., Arka, A.I., Doppa, J.R., Pande, P.P., Li, H., Chakrabarty, K.: Heterogeneous manycore architectures enabled by processing-in-memory for deep learning: from CNNs to GNNs: (ICCAD Special Session Paper). In: 2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD), November 2021, pp. 1\u20137. https:\/\/doi.org\/10.1109\/ICCAD51958.2021.9643559","DOI":"10.1109\/ICCAD51958.2021.9643559"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Niu, X., et al.: A dual heterogeneous graph attention network to improve long-tail performance for shop search in E-Commerce. In: Gupta, R., Liu, Y., Tang, J., Prakash, B.A. (eds.) KDD \u201920: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Virtual Event, CA, USA, August 23\u201327, 2020. ACM, pp. 3405\u20133415. https:\/\/doi.org\/10.1145\/3394486.3403393","DOI":"10.1145\/3394486.3403393"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"2763","DOI":"10.1007\/s10489-021-02587-w","volume":"52","author":"K-HN Bui","year":"2022","unstructured":"Bui, K.-H.N., Cho, J., Yi, H.: Spatial-temporal graph neural network for traffic forecasting: an overview and open research issues. Appl. Intell. 52(3), 2763\u20132774 (2022)","journal-title":"Appl. Intell."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Z\u00fcgner, D., Akbarnejad, A., G\u00fcnnemann, S.: Adversarial attacks on neural networks for graph data. In: Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining. ACM, London, pp. 2847\u20132856 (2018)","DOI":"10.1145\/3219819.3220078"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Z\u00fcgner, D., G\u00fcnnemann, S.: Certifiable robustness and robust training for graph convolutional networks. In: Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining. Anchorage, USA, pp. 246\u2013256. ACM (2019)","DOI":"10.1145\/3292500.3330905"},{"key":"9_CR6","unstructured":"Wong, E., Kolter, Z.: Provable defenses against adversarial examples via the convex outer adversarial polytope. In: Proceedings of the 35th International Conference on Machine Learning. Stockholmsm\u00e4ssan, Stockholm, Sweden: PMLR, pp. 5283\u20135292 (2018)"},{"key":"9_CR7","unstructured":"Bojchevski, A., G\u00dcnnemann, S.: Certifiable robustness to graph perturbations. In: Advances in Neural Information Processing Systems, pp. 8317\u20138328 (2019)"},{"key":"9_CR8","unstructured":"Bojchevski, A., Klicpera, J., G\u00fcnnemann, S.: Efficient robustness certificates for discrete data: Sparsityaware randomized smoothing for graphs, images and more. arXiv preprint arXiv:2008.12952 (2020)"},{"key":"9_CR9","unstructured":"Cohen, J.M., Rosenfeld, E., Kolter, J.Z.: Certified adversarial robustness via randomized smoothing.arXiv preprint arXiv:1902.02918 (2019)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Jeh, G., Widom, J.: Scaling personalized web search. In: Proceedings of the 12th International Conference on World Wide Web, pp. 271\u2013279 (2003)","DOI":"10.1145\/775152.775191"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Jia, J., Wang, B., Cao, X., Gong, N.Z.: Certified robustness of community detection against adversarial structural perturbation via randomized smoothing. arXiv preprint arXiv:2002.03421 (2020)","DOI":"10.1145\/3366423.3380029"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Tao, S., Shen, H., Cao, Q., Hou, L., Cheng, X.: Adversarial immunization for improving certifiable robustness on graphs. arXiv preprint arXiv:2007.09647 (2020)","DOI":"10.1145\/3437963.3441782"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Wang, B., Jia, J., Cao, X., Gong, N.Z.: Certified robustness of graph neural networks against adversarial structural perturbation. arXiv preprint arXiv:2008.10715 (2020)","DOI":"10.1145\/3447548.3467295"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Z\u00fcgner, D., G\u00fcnnemann, S.: Certifiable robustness of graph convolutional networks under structure perturbations. In: Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, pp. 1656\u20131665 (2020)","DOI":"10.1145\/3394486.3403217"},{"key":"9_CR15","unstructured":"Henriksen, P., Lomuscio, A.: Efficient neural network verification via adaptive refinement and adversarial search. In: European Association for Artificial Intelligence (ECAI\u201920), pp. 2513\u20132520 (2020)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Lyu, Z., Ko, C.-Y., Kong, Z., Wong, N., Lin, D., Daniel, L.: Fastened CROWN: tightened neural network robustness certificates. In: AAAI Conference on Artificial Intelligence (AAAI\u201920), pp. 5037\u20135044 (2020)","DOI":"10.1609\/aaai.v34i04.5944"},{"issue":"2022","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3498704","volume":"6","author":"M M\u00fcller","year":"2022","unstructured":"M\u00fcller, M., Makarchuk, G., Singh, G., P\u00fcschel, M., Vechev, M.T.: PRIMA: general and precise neural network certification via scalable convex hull approximations. Proc. ACM Program. Lang. 6(2022), 1\u201333 (2022)","journal-title":"Proc. ACM Program. Lang."},{"key":"9_CR19","unstructured":"Wang, S., Pei, K., Whitehouse, J., Yang, J., Jana, S.: Formal security analysis of neural networks using symbolic intervals. In: USENIX Security\u201918. 1599\u20131614 (2018)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Wang, Z., Albarghouthi, A., Prakriya, G., Jha, S.: Interval universal approximation for neural networks. Proc. ACM Program. Lang. 6, POPL, pp. 1\u201329 (2022)","DOI":"10.1145\/3498675"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Wu, Y., Zhang, M.: Tightening robustness verification of convolutional neural networks with fine-grained linear approximation. In: AAAI Conference on Artificial Intelligence (AAAI\u201921), pp. 11674\u201311681","DOI":"10.1609\/aaai.v35i13.17388"},{"key":"9_CR22","unstructured":"Zhang, H., Weng, T.-W., Chen, P.-Y., Hsieh, C.-J., Daniel, L.: Efficient neural network robustness certification with general activation functions. In: Advances in Neural Information Processing Systems (NeurIPS\u201918), pp. 4944\u20134953 (2018)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Wu, Y., Liu, S., Liu, J., Zhang, M.: Provably tightest linear approximation for robustness verification of sigmoid-like neural networks. In: IEEE\/ACM International Conference on Automated Software Engineering (ASE\u201922), pp. 80:1\u201380:13. ACM (2022)","DOI":"10.1145\/3551349.3556907"},{"key":"9_CR24","unstructured":"Croce, F., Andriushchenko, M., Hein, M.: Provable robustness of relu networks via maximization of linear regions. In: AISTATS (2018)"},{"key":"9_CR25","unstructured":"Raghunathan, A., Steinhardt, J., Liang, P.S.: Semidefinite relaxations for certifying robustness to adversarial examples. In: NIPS (2018)"},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Xue, Z., Liu, S., Zhang, Z., Wu, Y., Zhang, M.: A tale of two approximations: tightening over-approximation for dnn robustness verification via under-approximation. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), pp. 1182\u20131194. Association for Computing Machinery, New York (2023). https:\/\/doi.org\/10.1145\/3597926.3598127","DOI":"10.1145\/3597926.3598127"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0617-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T15:08:59Z","timestamp":1732806539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0617-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819606160","9789819606177"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0617-7_9","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":"29 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hiroshima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.icfem2024.info\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}