{"id":"https://openalex.org/W4414170582","doi":"https://doi.org/10.1109/iwqos65803.2025.11143374","title":"IVeri: A Scalable Privacy-Preserving Interdomain Configuration Verification Tool via Secure Multi-Party Computation","display_name":"IVeri: A Scalable Privacy-Preserving Interdomain Configuration Verification Tool via Secure Multi-Party Computation","publication_year":2025,"publication_date":"2025-07-02","ids":{"openalex":"https://openalex.org/W4414170582","doi":"https://doi.org/10.1109/iwqos65803.2025.11143374"},"language":"en","primary_location":{"id":"doi:10.1109/iwqos65803.2025.11143374","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143374","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067518630","display_name":"Mingjun Fang","orcid":"https://orcid.org/0009-0008-8690-5244"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]},{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Mingjun Fang","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025047756","display_name":"Yuntao Zhao","orcid":"https://orcid.org/0000-0002-2627-8276"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]},{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuntao Zhao","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092765730","display_name":"Qiuyue Qin","orcid":"https://orcid.org/0000-0002-5400-0183"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]},{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiuyue Qin","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101942333","display_name":"Xing Fang","orcid":"https://orcid.org/0009-0006-3034-3209"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]},{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xing Fang","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014522659","display_name":"Huisan Xu","orcid":"https://orcid.org/0000-0003-3921-5474"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]},{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huisan Xu","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011225547","display_name":"Lizhao You","orcid":"https://orcid.org/0000-0002-9672-7938"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lizhao You","raw_affiliation_strings":["School of Informatics, Xiamen University"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015404751","display_name":"Qiao Xiang","orcid":"https://orcid.org/0000-0002-3394-6279"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]},{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiao Xiang","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101740783","display_name":"Jiwu Shu","orcid":"https://orcid.org/0000-0002-7362-2789"},"institutions":[{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]},{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiwu Shu","raw_affiliation_strings":["School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University,Xiamen Key Laboratory of Intelligent Storage and Computing","institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5067518630"],"corresponding_institution_ids":["https://openalex.org/I191208505","https://openalex.org/I75867142"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12529498,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9908000230789185,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7436000108718872},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6215999722480774},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5361999869346619},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4659000039100647},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4507000148296356},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4410000145435333},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.3903999924659729},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.37940001487731934}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8094000220298767},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7436000108718872},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6215999722480774},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5361999869346619},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.517300009727478},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4659000039100647},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4507000148296356},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.3903999924659729},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.37940001487731934},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3377000093460083},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.33649998903274536},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.28610000014305115},{"id":"https://openalex.org/C82578977","wikidata":"https://www.wikidata.org/wiki/Q16773055","display_name":"Data aggregator","level":3,"score":0.27559998631477356},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.26190000772476196},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwqos65803.2025.11143374","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwqos65803.2025.11143374","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 33rd International Symposium on Quality of Service (IWQoS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2127269006","display_name":null,"funder_award_id":"62172345,62302409","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3525382859","display_name":null,"funder_award_id":"2022YFB2901502","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1888364621","https://openalex.org/W1988374166","https://openalex.org/W1993906333","https://openalex.org/W2061619267","https://openalex.org/W2076623138","https://openalex.org/W2099236627","https://openalex.org/W2130901615","https://openalex.org/W2141420453","https://openalex.org/W2204503793","https://openalex.org/W2208986231","https://openalex.org/W2403789702","https://openalex.org/W2492337463","https://openalex.org/W2742515467","https://openalex.org/W2910041147","https://openalex.org/W2968149030","https://openalex.org/W3046445220","https://openalex.org/W3046676529","https://openalex.org/W3141585064","https://openalex.org/W4290991530","https://openalex.org/W4302094287","https://openalex.org/W4386486791","https://openalex.org/W4387881018","https://openalex.org/W4391871515"],"related_works":[],"abstract_inverted_index":{"The":[0],"fundamental":[1],"challenge":[2],"of":[3,124],"configuration":[4,20,44,106],"verification":[5,45,55,58,65,101,123],"in":[6,130],"an":[7,86,99],"interdomain":[8,43],"network":[9,19],"is":[10,26],"privacy":[11],"because":[12],"each":[13],"autonomous":[14],"system":[15,46],"(AS)":[16],"treats":[17],"its":[18],"files":[21],"as":[22],"private":[23],"information":[24],"and":[25,56,97],"not":[27],"willing":[28],"to":[29],"share":[30],"them":[31],"with":[32,110,127],"others.":[33],"In":[34],"this":[35],"paper,":[36],"we":[37],"present":[38],"IVeri,":[39],"a":[40,64,75],"scalable":[41,57],"privacypreserving":[42,54],"based":[47,93],"on":[48,94],"secure":[49,69],"multi-party":[50,70],"computation.":[51],"IVeri":[52],"supports":[53],"via":[59],"the":[60,90,122],"following":[61],"designs:":[62],"(1)":[63],"algorithm":[66,87,102],"that":[67,78,88,103,114],"meets":[68],"computation":[71],"security":[72],"requirements,":[73],"(2)":[74],"data":[76],"aggregator":[77],"reduces":[79],"communication":[80],"overhead":[81],"while":[82],"preserving":[83],"privacy,":[84],"(3)":[85],"accelerates":[89],"simulation":[91],"process":[92],"routing":[95],"algebra,":[96],"(4)":[98],"incremental":[100],"handles":[104],"minor":[105],"changes.":[107],"Extensive":[108],"experiments":[109],"open-source":[111],"datasets":[112],"demonstrate":[113],"IVeri's":[115],"optimization":[116],"techniques":[117],"significantly":[118],"improve":[119],"scalability,":[120],"enabling":[121],"large":[125],"networks":[126],"1000":[128],"ASes":[129],"under":[131],"3":[132],"hours,":[133],"which":[134],"outperforms":[135],"state-of-the-art":[136],"solutions.":[137]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}