{"id":"https://openalex.org/W4394744182","doi":"https://doi.org/10.1145/3597503.3639134","title":"PS3: Precise Patch Presence Test based on Semantic Symbolic Signature","display_name":"PS3: Precise Patch Presence Test based on Semantic Symbolic Signature","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394744182","doi":"https://doi.org/10.1145/3597503.3639134"},"language":"en","primary_location":{"id":"doi:10.1145/3597503.3639134","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597503.3639134","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5036572107","display_name":"Qi Zhan","orcid":"https://orcid.org/0000-0002-6800-1857"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Zhan","raw_affiliation_strings":["The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-6800-1857","affiliations":[{"raw_affiliation_string":"The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047688641","display_name":"Xing Hu","orcid":"https://orcid.org/0000-0003-0093-3292"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xing Hu","raw_affiliation_strings":["The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-0093-3292","affiliations":[{"raw_affiliation_string":"The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102724155","display_name":"Zhiyang Li","orcid":"https://orcid.org/0009-0000-5632-9479"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiyang Li","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0000-5632-9479","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006669765","display_name":"Xin Xia","orcid":"https://orcid.org/0000-0002-6302-3256"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Xia","raw_affiliation_strings":["Software Engineering Application Technology Lab, Huawei, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-6302-3256","affiliations":[{"raw_affiliation_string":"Software Engineering Application Technology Lab, Huawei, Hangzhou, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"David Lo","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-4367-7201","affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114429788","display_name":"Shanping Li","orcid":"https://orcid.org/0000-0003-2615-9792"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanping Li","raw_affiliation_strings":["The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-2615-9792","affiliations":[{"raw_affiliation_string":"The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8558027744293213},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8130007386207581},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6560183167457581},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.6487699747085571},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.608576774597168},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.6046447157859802},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5453216433525085},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5153667330741882},{"id":"https://openalex.org/keywords/digital-signature","display_name":"Digital signature","score":0.4635637700557709},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4610089659690857},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44618529081344604},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.38761407136917114}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8558027744293213},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8130007386207581},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6560183167457581},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6487699747085571},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.608576774597168},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.6046447157859802},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5453216433525085},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5153667330741882},{"id":"https://openalex.org/C118463975","wikidata":"https://www.wikidata.org/wiki/Q220849","display_name":"Digital signature","level":3,"score":0.4635637700557709},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4610089659690857},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44618529081344604},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.38761407136917114},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597503.3639134","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597503.3639134","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G7244362890","display_name":null,"funder_award_id":"No. 62141222","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1968862217","https://openalex.org/W2065555413","https://openalex.org/W2156858199","https://openalex.org/W2466114212","https://openalex.org/W2493946278","https://openalex.org/W2514974017","https://openalex.org/W2532962075","https://openalex.org/W2547625248","https://openalex.org/W2766411424","https://openalex.org/W2790664081","https://openalex.org/W2888698761","https://openalex.org/W2912675049","https://openalex.org/W2914630606","https://openalex.org/W2926178846","https://openalex.org/W2963723316","https://openalex.org/W2992048510","https://openalex.org/W3043519510","https://openalex.org/W3048309924","https://openalex.org/W3108766814","https://openalex.org/W3109206613","https://openalex.org/W3139086893","https://openalex.org/W4205752629","https://openalex.org/W4239035626","https://openalex.org/W4284709537","https://openalex.org/W4285586654","https://openalex.org/W4299301436","https://openalex.org/W4384129320"],"related_works":["https://openalex.org/W2154523322","https://openalex.org/W2083200807","https://openalex.org/W1603137082","https://openalex.org/W2149234266","https://openalex.org/W2390942931","https://openalex.org/W1932157736","https://openalex.org/W1981680180","https://openalex.org/W2033963098","https://openalex.org/W1601957798","https://openalex.org/W2125461068"],"abstract_inverted_index":{"During":[0],"software":[1,23],"development,":[2],"vulnerabilities":[3],"have":[4],"posed":[5],"a":[6,21,29,44,50,110],"significant":[7],"threat":[8],"to":[9,17,38,88,116,130],"users.":[10],"Patches":[11],"are":[12,75,134],"the":[13,26,78,145,148,152,155,158],"most":[14],"effective":[15],"way":[16],"combat":[18],"vulnerabilities.":[19],"In":[20,105],"large-scale":[22],"system,":[24],"testing":[25],"presence":[27,119,146],"of":[28,147],"security":[30],"patch":[31,118,149],"in":[32,77,96],"every":[33],"affected":[34],"binary":[35,45],"is":[36,53,84],"crucial":[37],"ensure":[39],"system":[40],"security.":[41],"Identifying":[42],"whether":[43],"has":[46],"been":[47],"patched":[48,63],"for":[49,86,102],"known":[51],"vulnerability":[52],"challenging,":[54],"as":[55],"there":[56],"may":[57],"only":[58],"be":[59],"small":[60],"differences":[61],"between":[62,154],"and":[64,157],"vulnerable":[65],"versions.":[66],"Existing":[67],"approaches":[68],"mainly":[69],"focus":[70],"on":[71,122],"detecting":[72],"patches":[73],"that":[74,133],"compiled":[76],"same":[79],"compiler":[80,94,138],"options.":[81,139],"However,":[82],"it":[83],"common":[85],"developers":[87],"compile":[89],"programs":[90],"with":[91],"very":[92],"different":[93,97,137],"options":[95],"situations,":[98],"which":[99],"causes":[100],"inaccuracy":[101],"existing":[103],"methods.":[104],"this":[106],"paper,":[107],"we":[108],"propose":[109],"new":[111],"approach":[112],"named":[113],"PS3,":[114],"referring":[115],"precise":[117],"test":[120,144],"based":[121],"semantic-level":[123],"symbolic":[124,128],"signature.":[125],"PS3":[126,141],"exploits":[127],"emulation":[129],"extract":[131],"signatures":[132,153],"stable":[135],"under":[136],"Then":[140],"can":[142],"precisely":[143],"by":[150],"comparing":[151],"reference":[156],"target":[159],"at":[160],"semantic":[161],"level.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}