{"id":"https://openalex.org/W3029334495","doi":"https://doi.org/10.1145/3372799.3394360","title":"Path Sensitive Signatures for Control Flow Error Detection","display_name":"Path Sensitive Signatures for Control Flow Error Detection","publication_year":2020,"publication_date":"2020-05-29","ids":{"openalex":"https://openalex.org/W3029334495","doi":"https://doi.org/10.1145/3372799.3394360","mag":"3029334495"},"language":"en","primary_location":{"id":"doi:10.1145/3372799.3394360","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372799.3394360","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372799.3394360","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3372799.3394360","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100379794","display_name":"Ze Zhang","orcid":"https://orcid.org/0000-0002-1346-7617"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ze Zhang","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108355631","display_name":"Sunghyun Park","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sunghyun Park","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002075773","display_name":"Scott Mahlke","orcid":"https://orcid.org/0000-0002-0438-0616"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Mahlke","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100379794"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.4159,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.60852089,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"62","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9986000061035156,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7176554203033447},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.700148344039917},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.5874744653701782},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5191366076469421},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.49855685234069824},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.49552643299102783},{"id":"https://openalex.org/keywords/flow-control","display_name":"Flow control (data)","score":0.4929637908935547},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4480774402618408},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40464460849761963},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2272435426712036},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.1537773609161377},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.13223621249198914},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10380664467811584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7176554203033447},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.700148344039917},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.5874744653701782},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5191366076469421},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.49855685234069824},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.49552643299102783},{"id":"https://openalex.org/C186766456","wikidata":"https://www.wikidata.org/wiki/Q612457","display_name":"Flow control (data)","level":2,"score":0.4929637908935547},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4480774402618408},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40464460849761963},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2272435426712036},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.1537773609161377},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.13223621249198914},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10380664467811584},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3372799.3394360","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372799.3394360","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372799.3394360","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3372799.3394360","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372799.3394360","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372799.3394360","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1751822525","display_name":null,"funder_award_id":"N00014-18-1-2020","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2637195115","display_name":null,"funder_award_id":"4-18-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5939089070","display_name":null,"funder_award_id":"DE-SC0014134","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337506","display_name":"Advanced Scientific Computing Research","ror":"https://ror.org/0012c7r22"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3029334495.pdf","grobid_xml":"https://content.openalex.org/works/W3029334495.grobid-xml"},"referenced_works_count":70,"referenced_works":["https://openalex.org/W160422864","https://openalex.org/W619578512","https://openalex.org/W1549123114","https://openalex.org/W1579215414","https://openalex.org/W1864485850","https://openalex.org/W1969501726","https://openalex.org/W1981514768","https://openalex.org/W2007925061","https://openalex.org/W2016845480","https://openalex.org/W2030260865","https://openalex.org/W2034593585","https://openalex.org/W2036853599","https://openalex.org/W2042777048","https://openalex.org/W2053227059","https://openalex.org/W2061729790","https://openalex.org/W2066462613","https://openalex.org/W2097418232","https://openalex.org/W2102480715","https://openalex.org/W2107244404","https://openalex.org/W2108557605","https://openalex.org/W2116059696","https://openalex.org/W2116991991","https://openalex.org/W2118338314","https://openalex.org/W2123331260","https://openalex.org/W2124360577","https://openalex.org/W2128941141","https://openalex.org/W2130189691","https://openalex.org/W2131529479","https://openalex.org/W2132362854","https://openalex.org/W2133592286","https://openalex.org/W2138517425","https://openalex.org/W2144512449","https://openalex.org/W2145930995","https://openalex.org/W2147435261","https://openalex.org/W2147657366","https://openalex.org/W2151677873","https://openalex.org/W2151845324","https://openalex.org/W2152422320","https://openalex.org/W2152757758","https://openalex.org/W2153185479","https://openalex.org/W2157762234","https://openalex.org/W2158191323","https://openalex.org/W2159059513","https://openalex.org/W2162351670","https://openalex.org/W2162733804","https://openalex.org/W2168705709","https://openalex.org/W2169596872","https://openalex.org/W2337485678","https://openalex.org/W2411755313","https://openalex.org/W2479607444","https://openalex.org/W2507146793","https://openalex.org/W2527746514","https://openalex.org/W2563678330","https://openalex.org/W2565180819","https://openalex.org/W2565481669","https://openalex.org/W2611378407","https://openalex.org/W2626531569","https://openalex.org/W2762342203","https://openalex.org/W2775089950","https://openalex.org/W2914040230","https://openalex.org/W2914884088","https://openalex.org/W3007431651","https://openalex.org/W3138733102","https://openalex.org/W4232962734","https://openalex.org/W4240029073","https://openalex.org/W4243863555","https://openalex.org/W4248445118","https://openalex.org/W4249144718","https://openalex.org/W4255519882","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2358137648","https://openalex.org/W3128819368","https://openalex.org/W2259231220","https://openalex.org/W3170092502","https://openalex.org/W2130857934","https://openalex.org/W2389992906","https://openalex.org/W2354679221","https://openalex.org/W2054296141","https://openalex.org/W2349878854","https://openalex.org/W2188516702"],"abstract_inverted_index":{"Transistors'":[0],"performance":[1,155,182],"has":[2,35],"been":[3],"improving":[4],"by":[5,162,174],"shrinking":[6],"feature":[7],"sizes,":[8],"lowering":[9],"voltage":[10],"levels,":[11],"and":[12,24,79,95,111,129],"reducing":[13],"noise":[14],"margins.":[15],"However,":[16],"these":[17],"changes":[18],"also":[19,169],"make":[20],"transistors":[21],"more":[22],"vulnerable":[23],"susceptible":[25],"to":[26,45,53,85,100,108,121,158],"transient":[27,32],"faults.":[28],"As":[29],"a":[30,37,76,118],"result,":[31],"fault":[33,81,148,172],"protection":[34,65,177],"become":[36],"crucial":[38],"aspect":[39],"of":[40,147],"designing":[41],"reliable":[42],"systems.":[43],"According":[44],"previous":[46],"research,":[47],"it":[48,116],"is":[49,132],"about":[50],"2.5x":[51],"harder":[52],"mask":[54],"control":[55,63,88,102,124],"flow":[56,60,64,103,125],"errors":[57,104],"than":[58],"data":[59],"errors,":[61],"making":[62],"critical.":[66],"In":[67,114],"this":[68],"paper,":[69],"we":[70],"present":[71],"Path":[72],"Sensitive":[73],"Signatures":[74],"(PaSS),":[75],"low":[77],"overhead":[78,156,160],"high":[80],"coverage":[82,173],"software":[83],"method":[84],"detect":[86,101],"illegal":[87],"flows.":[89],"PaSS":[90,131,150,167],"targets":[91],"off-the-shelf":[92],"embedded":[93],"systems":[94],"combines":[96],"two":[97],"different":[98],"methods":[99],"that":[105,142],"incorrectly":[106],"jump":[107],"both":[109],"nearby":[110],"faraway":[112],"locations.":[113],"addition,":[115],"provides":[117],"lightweight":[119],"technique":[120],"protect":[122],"inter-procedural":[123,176],"transfers":[126],"including":[127],"calls":[128],"returns.":[130],"evaluated":[133],"on":[134],"the":[135,144,163],"SPEC2006":[136],"benchmarks.":[137],"The":[138],"experimental":[139],"results":[140],"demonstrate":[141],"with":[143],"same":[145],"level":[146],"coverage,":[149],"only":[151],"incurs":[152],"15.5%":[153],"average":[154],"compared":[157],"64.7%":[159],"incurred":[161],"traditional":[164],"signature-based":[165],"technique.":[166],"can":[168],"further":[170],"extend":[171],"providing":[175],"at":[178],"an":[179],"additional":[180],"3.6%":[181],"penalty.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}