{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T21:55:18Z","timestamp":1757541318067,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T00:00:00Z","timestamp":1687996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Alibaba Innovative Research Award"},{"name":"Open Research Projects of Zhejiang Lab","award":["#2022QA0AB05"],"award-info":[{"award-number":["#2022QA0AB05"]}]},{"name":"Tan Kah Kee Innovation Laboratory Award","award":["HRTP-2022-34"],"award-info":[{"award-number":["HRTP-2022-34"]}]},{"name":"NSFC Award","award":["#62172345"],"award-info":[{"award-number":["#62172345"]}]},{"name":"Future Network Innovation Research Award of Ministry of Education of China","award":["#2021FNA02008"],"award-info":[{"award-number":["#2021FNA02008"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,29]]},"DOI":"10.1145\/3600061.3600064","type":"proceedings-article","created":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T03:40:40Z","timestamp":1693971640000},"page":"28-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party Computation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3921-5474","authenticated-orcid":false,"given":"Huisan","family":"Xu","sequence":"first","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5400-0183","authenticated-orcid":false,"given":"Qiuyue","family":"Qin","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3034-3209","authenticated-orcid":false,"given":"Xing","family":"Fang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3394-6279","authenticated-orcid":false,"given":"Qiao","family":"Xiang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7362-2789","authenticated-orcid":false,"given":"Jiwu","family":"Shu","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tiramisu: Fast Multilayer Network Verification. In NSDI\u201920. USENIX, 201\u2013219.","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In NSDI\u201920. USENIX, 201\u2013219."},{"key":"e_1_3_2_1_2_1","unstructured":"Lawrence Abrams. 2019. BGP Route Leak Causes Cloudflare and Amazon AWS Problems. https:\/\/www.bleepingcomputer.com\/news\/technology\/bgp-route-leak-causes-cloudflare-and-amazon-aws-problems\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Lawrence Abrams. 2021. Facebook Instagram and WhatsApp Back Online after BGP Fix. https:\/\/www.bleepingcomputer.com\/news\/technology\/facebook-instagram-and-whatsapp-back-online-after-bgp-fix\/."},{"key":"e_1_3_2_1_4_1","unstructured":"David Afolayan. 2018. How Bad is MainOne\u2019s BGP Error and Why They Must Prevent a Recurrence. https:\/\/technext24.com\/2018\/11\/15."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Mikl\u00f3s Ajtai. 2010. Oblivious RAMs without Cryptographic Assumptions. In STOC\u201910. ACM 181\u2013190.","DOI":"10.1145\/1806689.1806716"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2017. A General Approach to Network Configuration Verification. In SIGCOMM\u201917. ACM 155\u2013168.","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2018. Control Plane Compression. In SIGCOMM\u201918. ACM 476\u2013489.","DOI":"10.1145\/3230543.3230583"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2019. Abstract Interpretation of Distributed Network Control Planes. In POPL\u201919. ACM 1\u201327.","DOI":"10.1145\/3371110"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Michael Ben-Or Shafi Goldwasser and Avi Wigderson. 1988. Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract). In STOC\u201988. ACM 1\u201310.","DOI":"10.1145\/62212.62213"},{"volume-title":"FOCS\u201901","author":"Canetti Ran","key":"e_1_3_2_1_10_1","unstructured":"Ran Canetti. 2001. Universally Composable Security: A New Paradigm for Cryptographic Protocols. In FOCS\u201901. IEEE Computer Society, 136\u2013145."},{"key":"e_1_3_2_1_11_1","unstructured":"CERN. 2023. The Large Hadron Collider (LHC) Experiment. https:\/\/home.cern\/topics\/large-hadron-collider."},{"key":"e_1_3_2_1_12_1","volume-title":"Netcomplete: Practical Network-wide Configuration Synthesis with Autocompletion. In NSDI\u201918. USENIX, 579\u2013594.","author":"El-Hassanyr Ahmed","year":"2018","unstructured":"Ahmed El-Hassanyr, Petar Tsankov, Laurent Vanbever, and Martin\u00a0T Vechev. 2018. Netcomplete: Practical Network-wide Configuration Synthesis with Autocompletion. In NSDI\u201918. USENIX, 579\u2013594."},{"key":"e_1_3_2_1_13_1","unstructured":"Seyed\u00a0K Fayaz Tushar Sharma Ari Fogel Ratul Mahajan Todd Millstein Vyas Sekar and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI\u201916. USENIX 217\u2013232."},{"key":"e_1_3_2_1_14_1","unstructured":"Ari Fogel Stanley Fung Luis Pedrosa Meg Walraed-Sullivan Ramesh Govindan Ratul Mahajan and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In NSDI\u201915. USENIX 469\u2013483."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Aaron Gember-Jacobson Raajay Viswanathan Aditya Akella and Ratul Mahajan. 2016. Fast Control Plane Analysis Using an Abstract Representation. In SIGCOMM\u201916. ACM 300\u2013313.","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233553"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Steven\u00a0Dov Gordon Jonathan Katz Vladimir Kolesnikov Fernando Krell Tal\u00a0Geula Malkin Mariana Raykova and Yevgeniy Vahlis. 2012. Secure Two-party Computation in Sublinear (amortized) Time. In CCS \u201912. ACM 513\u2013524.","DOI":"10.1145\/2382196.2382251"},{"key":"e_1_3_2_1_18_1","unstructured":"Andreas Haeberlen Ioannis\u00a0C Avramopoulos Jennifer Rexford and Peter Druschel. 2009. NetReview: Detecting When Interdomain Routing Goes Wrong.. In NSDI\u201909. USENIX 437\u2013452."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Karthick Jayaraman Nikolaj Bj\u00f8rner Jitu Padhye Amar Agrawal Ashish Bhargava Paul-Andre\u00a0C Bissonnette Shane Foster Andrew Helwer Mark Kasten Ivan Lee 2019. Validating Datacenters at Scale. In SIGCOMM\u201919. ACM 200\u2013213.","DOI":"10.1145\/3341302.3342094"},{"volume-title":"ASIACRYPT\u201914","author":"Keller Marcel","key":"e_1_3_2_1_20_1","unstructured":"Marcel Keller and Peter Scholl. 2014. Efficient, Oblivious Data Structures for MPC. In ASIACRYPT\u201914. Springer, 506\u2013525."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Marcel Kellerl. 2020. MP-SPDZ: A Versatile Framework for Multi-Party Computation. In CCS\u201920. ACM 1575\u20131590.","DOI":"10.1145\/3372297.3417872"},{"key":"e_1_3_2_1_22_1","volume-title":"Lopes and Andrey Rybalchenko","author":"P.","year":"2019","unstructured":"Nuno\u00a0P. Lopes and Andrey Rybalchenko. 2019. Fast BGP Simulation of Large Datacenters. In VMCAI\u201919. Springer, 386\u2013408."},{"volume-title":"PKC\u201907","author":"Nishide Takashi","key":"e_1_3_2_1_23_1","unstructured":"Takashi Nishide and Kazuo Ohta. 2007. Multiparty Computation for Interval, Equality, and Comparison Without Bit-Decomposition Protocol. In PKC\u201907. Springer, 343\u2013360."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Rafail Ostrovsky. 1990. Efficient Computation on Oblivious RAMs. In STOC\u201990. ACM 514\u2013523.","DOI":"10.1145\/100216.100289"},{"key":"e_1_3_2_1_25_1","volume-title":"Plankton: Scalable Network Configuration Verification Through Model Checking. In NSDI\u201920. USENIX, 953\u2013967.","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu, Kuan\u00a0Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020. Plankton: Scalable Network Configuration Verification Through Model Checking. In NSDI\u201920. USENIX, 953\u2013967."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"Yakov Rekhter and Tony Li. 1995. A Border Gateway Protocol 4 (BGP-4). RFC Editor. https:\/\/doi.org\/10.17487\/RFC1771","DOI":"10.17487\/RFC1771"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359176"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2187924"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Konstantin Weitz Doug Woos Emina Torlak Michael\u00a0D Ernst Arvind Krishnamurthy and Zachary Tatlock. 2016. Scalable Verification of Border Gateway Protocol Configurations With an SMT Solver. In OOPSLA\u201916. ACM 765\u2013780.","DOI":"10.1145\/3022671.2984012"},{"key":"e_1_3_2_1_30_1","unstructured":"Huisan Xu. 2022. Network Configuration Survey. https:\/\/mailman.nanog.org\/pipermail\/nanog\/2022-November\/220861.html."},{"key":"e_1_3_2_1_31_1","unstructured":"Huisan Xu Qiuyue Qin Xing Fang Qiao Xiang and Jiwu Shu. 2023. InCV-TR.pdf. http:\/\/sngroup.org.cn\/publication.html."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Rulan Yang Xing Fang Lizhao You Qiao Xiang Hanyang Shao Gao Han Ziyi Wang Jiwu Shu and Linghe Kong.2023. Diagnosing Distributed Routing Configurations Using Sequential Program Analysis. In APNET\u201923. ACM 85\u201392.","DOI":"10.1145\/3600061.3600065"},{"volume-title":"SFCS\u201908","author":"Yao Chi-Chih","key":"e_1_3_2_1_33_1","unstructured":"Andrew\u00a0Chi-Chih Yao. 1982. Protocols for Secure Computations (Extended Abstract). In SFCS\u201908. IEEE, 160\u2013164."},{"volume-title":"SFCS\u201986","author":"Chi-Chih Yao Andrew","key":"e_1_3_2_1_34_1","unstructured":"Andrew Chi-Chih Yao. 1986. How to Generate and Exchange Secrets. In SFCS\u201986. IEEE, 162\u2013167."},{"key":"e_1_3_2_1_35_1","unstructured":"Fangdan Ye Da Yu Ennan Zhai Hongqiang\u00a0Harry Liu Bingchuan Tian Qiaobo Ye Chunsheng Wang Xin Wu Tianchen Guo Cheng Jin Duncheng She Qing Ma Biao Cheng Hui Xu Ming Zhang Zhiliang Wang and Rodrigo Fonseca. 2020. Accuracy Scalability Coverage: A Practical Configuration Verifier on a Global WAN. In SIGCOMM\u201920. ACM 599\u2013614."},{"key":"e_1_3_2_1_36_1","unstructured":"Peng Zhang Aaron Gember-Jacobson Yueshang Zuo Yuhao Huang Xu Liu and Hao Li. 2022. Differential Network Analysis. In NSDI\u201922. USENIX 601\u2013615."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Peng Zhang Dan Wang and Aaron Gember-Jacobson. 2022. Symbolic Router Execution. In SIGCOMM\u201922. ACM 336\u2013349.","DOI":"10.1145\/3544216.3544264"}],"event":{"name":"APNET 2023: 7th Asia-Pacific Workshop on Networking","acronym":"APNET 2023","location":"Hong Kong China"},"container-title":["Proceedings of the 7th Asia-Pacific Workshop on Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600061.3600064","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3600061.3600064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:50Z","timestamp":1750178210000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600061.3600064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,29]]},"references-count":37,"alternative-id":["10.1145\/3600061.3600064","10.1145\/3600061"],"URL":"https:\/\/doi.org\/10.1145\/3600061.3600064","relation":{},"subject":[],"published":{"date-parts":[[2023,6,29]]},"assertion":[{"value":"2023-09-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}