{"id":"https://openalex.org/W4400582893","doi":"https://doi.org/10.1145/3643781","title":"Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers","display_name":"Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers","publication_year":2024,"publication_date":"2024-07-12","ids":{"openalex":"https://openalex.org/W4400582893","doi":"https://doi.org/10.1145/3643781"},"language":"en","primary_location":{"id":"doi:10.1145/3643781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643781","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3643781","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043843584","display_name":"Y.-L. Li","orcid":"https://orcid.org/0000-0002-4285-3031"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Yichen Li","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-4285-3031","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070622803","display_name":"Dongwei Xiao","orcid":"https://orcid.org/0000-0002-4680-5715"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Dongwei Xiao","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-4680-5715","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068911323","display_name":"Zhibo Liu","orcid":"https://orcid.org/0000-0002-7872-1129"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zhibo Liu","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-7872-1129","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019211490","display_name":"Qi Pang","orcid":"https://orcid.org/0000-0001-7747-0332"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Pang","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":"https://orcid.org/0000-0001-7747-0332","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100328264","display_name":"Shuai Wang","orcid":"https://orcid.org/0000-0002-0866-0308"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shuai Wang","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-0866-0308","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5043843584"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":1.5734,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.85502157,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"1","issue":"FSE","first_page":"1216","last_page":"1237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"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/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10237","display_name":"Cryptography and Data Security","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7347861528396606},{"id":"https://openalex.org/keywords/metamorphic-rock","display_name":"Metamorphic rock","score":0.6555582284927368},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6163591146469116},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5881766676902771},{"id":"https://openalex.org/keywords/secure-multi-party-computation","display_name":"Secure multi-party computation","score":0.5609996914863586},{"id":"https://openalex.org/keywords/secure-two-party-computation","display_name":"Secure two-party computation","score":0.47161486744880676},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.3980320990085602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31379401683807373},{"id":"https://openalex.org/keywords/petrology","display_name":"Petrology","score":0.28659337759017944}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7347861528396606},{"id":"https://openalex.org/C26687426","wikidata":"https://www.wikidata.org/wiki/Q47069","display_name":"Metamorphic rock","level":2,"score":0.6555582284927368},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6163591146469116},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5881766676902771},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.5609996914863586},{"id":"https://openalex.org/C13652956","wikidata":"https://www.wikidata.org/wiki/Q7444883","display_name":"Secure two-party computation","level":4,"score":0.47161486744880676},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.3980320990085602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31379401683807373},{"id":"https://openalex.org/C5900021","wikidata":"https://www.wikidata.org/wiki/Q163082","display_name":"Petrology","level":1,"score":0.28659337759017944}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3643781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643781","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-147310","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-147310","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":{"id":"doi:10.1145/3643781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643781","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1520270249","https://openalex.org/W1584560347","https://openalex.org/W1969009977","https://openalex.org/W1975934503","https://openalex.org/W2088492763","https://openalex.org/W2091093620","https://openalex.org/W2098456636","https://openalex.org/W2122049982","https://openalex.org/W2138788987","https://openalex.org/W2141420453","https://openalex.org/W2148329403","https://openalex.org/W2152926062","https://openalex.org/W2153649445","https://openalex.org/W2249862487","https://openalex.org/W2324595780","https://openalex.org/W2402235285","https://openalex.org/W2532737545","https://openalex.org/W2767024440","https://openalex.org/W2768174108","https://openalex.org/W2782311202","https://openalex.org/W2895865029","https://openalex.org/W2929650703","https://openalex.org/W2969373235","https://openalex.org/W2997653900","https://openalex.org/W3007855180","https://openalex.org/W3008321987","https://openalex.org/W3008797115","https://openalex.org/W3016063723","https://openalex.org/W3035671939","https://openalex.org/W3042605769","https://openalex.org/W3043641306","https://openalex.org/W3090636587","https://openalex.org/W3093021001","https://openalex.org/W3095923304","https://openalex.org/W3099032206","https://openalex.org/W3104454153","https://openalex.org/W3106731144","https://openalex.org/W3107362213","https://openalex.org/W3108672920","https://openalex.org/W3124118940","https://openalex.org/W3133749795","https://openalex.org/W3141585064","https://openalex.org/W3171841353","https://openalex.org/W4214589259","https://openalex.org/W4281613925","https://openalex.org/W4288057723","https://openalex.org/W4308642082","https://openalex.org/W4313563609","https://openalex.org/W4324007042","https://openalex.org/W4384345775","https://openalex.org/W4387302771","https://openalex.org/W4391725262"],"related_works":["https://openalex.org/W2083701517","https://openalex.org/W2069340834","https://openalex.org/W2082804893","https://openalex.org/W2550686250","https://openalex.org/W2382527959","https://openalex.org/W87038205","https://openalex.org/W2539281752","https://openalex.org/W2166322483","https://openalex.org/W2083288298","https://openalex.org/W2607129240"],"abstract_inverted_index":{"The":[0],"demanding":[1],"need":[2],"to":[3,13,28,59,73,141,196,214,283,289,338,344],"perform":[4],"privacy-preserving":[5],"computations":[6],"among":[7],"multiple":[8],"data":[9],"owners":[10],"has":[11,44],"led":[12],"the":[14,61,94,112,138,143,146,151,168,231,270,273,280,290,297,301,310,326],"prosperous":[15,152],"development":[16],"of":[17,63,145,154,167,170,249,292,300],"secure":[18],"multi-party":[19],"computation":[20],"(MPC)":[21],"protocols.":[22],"MPC":[23,43,68,79,83,90,118,148,155,171,194,212,217,224,228,235,243,266,281,294,311,320,346],"offers":[24],"protocols":[25,119],"for":[26,124,193,211],"parties":[27],"jointly":[29],"compute":[30],"a":[31,125,162,186,246],"function":[32],"over":[33],"their":[34,239,342],"inputs":[35,39,256,276],"while":[36],"keeping":[37],"those":[38],"private.":[40],"To":[41,177],"date,":[42],"been":[45,71],"widely":[46],"adopted":[47],"in":[48,260,263,318,341],"various":[49],"real-world,":[50],"privacy-sensitive":[51],"sectors,":[52],"such":[53],"as":[54],"healthcare":[55],"and":[56,66,115,128,133,160,164,233,307,333],"finance.":[57],"Moreover,":[58],"ease":[60],"adoption":[62,153],"MPC,":[64],"industrial":[65,158],"academic":[67],"compilers":[69,156,172,195,225,244,267,282,321],"have":[70],"developed":[72],"automatically":[74],"translate":[75],"programs":[76,213,218,236],"describing":[77],"arbitrary":[78],"procedures":[80],"into":[81,88,101],"low-level":[82],"executables.":[84,149],"Compiling":[85],"high-level":[86,99,216],"descriptions":[87],"high-efficiency":[89],"executables":[91,229],"is":[92],"challenging:":[93],"compilation":[95,139],"often":[96],"involves":[97],"converting":[98],"languages":[100],"several":[102],"intermediate":[103],"representations":[104],"(IR),":[105],"e.g.,":[106],"arithmetic":[107],"or":[108],"boolean":[109],"circuits,":[110],"optimizing":[111],"computation/communication":[113],"cost,":[114],"picking":[116],"proper":[117],"(and":[120],"underlying":[121,298],"virtual":[122],"machines)":[123],"particular":[126],"task":[127],"threat":[129],"model.":[130],"Various":[131],"optimizations":[132],"heuristics":[134],"are":[135,209],"employed":[136],"during":[137],"procedure":[140],"improve":[142,345],"efficiency":[144],"generated":[147],"Despite":[150],"by":[157,237,322],"vendors":[159],"academia,":[161],"principled":[163],"systematic":[165],"understanding":[166],"correctness":[169],"does":[173],"not":[174,278],"yet":[175],"exist.":[176],"fill":[178],"this":[179,182],"critical":[180],"gap,":[181],"paper":[183],"introduces":[184],"MT-MPC,":[185],"metamorphic":[187,205],"testing":[188,331],"(MT)":[189],"framework":[190],"specifically":[191],"designed":[192],"effectively":[197],"uncover":[198],"erroneous":[199,261],"compilations.":[200],"Our":[201,329],"approach":[202],"proposes":[203],"three":[204,264],"relations":[206],"(MRs)":[207],"that":[208,257],"tailored":[210],"mutate":[215],"(compiler":[219],"inputs).We":[220],"then":[221],"examine":[222],"if":[223],"yield":[226],"semantics-equivalent":[227],"regarding":[230],"original":[232],"mutated":[234],"comparing":[238],"execution":[240],"results.":[241],"Real-world":[242],"exhibit":[245],"high":[247],"level":[248],"engineering":[250],"quality.":[251],"Nevertheless,":[252],"we":[253,314],"detected":[254],"4,772":[255],"can":[258,287,335],"result":[259],"compilations":[262],"popular":[265],"available":[268],"on":[269],"market.":[271],"While":[272],"discovered":[274],"error-triggering":[275,327],"do":[277],"cause":[279],"crash":[284],"directly,":[285],"they":[286],"lead":[288],"generation":[291],"incorrect":[293],"executables,":[295],"jeopardizing":[296],"dependability":[299],"computation.":[302],"With":[303],"substantial":[304],"manual":[305],"effort":[306],"help":[308],"from":[309],"compiler":[312],"developers,":[313],"uncovered":[315],"thirteen":[316],"bugs":[317],"these":[319],"debugging":[323],"them":[324],"using":[325],"inputs.":[328],"proposed":[330],"frameworks":[332],"findings":[334],"be":[336],"used":[337],"guide":[339],"developers":[340],"efforts":[343],"compilers.":[347]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}