{"id":"https://openalex.org/W2735707891","doi":"https://doi.org/10.1145/3092703.3098242","title":"Path cost analysis for side channel detection","display_name":"Path cost analysis for side channel detection","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735707891","doi":"https://doi.org/10.1145/3092703.3098242","mag":"2735707891"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3098242","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","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/A5011404640","display_name":"Tegan Brennan","orcid":"https://orcid.org/0000-0002-9988-8630"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tegan Brennan","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5011404640"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08411524,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"416","last_page":"419"},"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.9998999834060669,"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.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9921000003814697,"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/computer-science","display_name":"Computer science","score":0.7875218391418457},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.6806539297103882},{"id":"https://openalex.org/keywords/side-channel-attack","display_name":"Side channel attack","score":0.5596050024032593},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4780757427215576},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.4575057029724121},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4546951353549957},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45044979453086853},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.429782509803772},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.42188510298728943},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3062556982040405},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16679051518440247},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0981646180152893}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7875218391418457},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6806539297103882},{"id":"https://openalex.org/C49289754","wikidata":"https://www.wikidata.org/wiki/Q2267081","display_name":"Side channel attack","level":3,"score":0.5596050024032593},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4780757427215576},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.4575057029724121},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4546951353549957},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45044979453086853},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.429782509803772},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.42188510298728943},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3062556982040405},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16679051518440247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0981646180152893},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3092703.3098242","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6700000166893005,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1488058190","https://openalex.org/W1497571013","https://openalex.org/W1934458198","https://openalex.org/W1964281299","https://openalex.org/W1997775274","https://openalex.org/W2037851672","https://openalex.org/W2101512909","https://openalex.org/W2107691219","https://openalex.org/W2125202010","https://openalex.org/W2293441536","https://openalex.org/W2515614845","https://openalex.org/W2546922927","https://openalex.org/W2603394416","https://openalex.org/W2626217303","https://openalex.org/W3136649089"],"related_works":["https://openalex.org/W3006344745","https://openalex.org/W182679101","https://openalex.org/W2103519941","https://openalex.org/W3180573957","https://openalex.org/W2162805750","https://openalex.org/W2138385884","https://openalex.org/W2043669269","https://openalex.org/W1968560271","https://openalex.org/W4388856880","https://openalex.org/W2166895275"],"abstract_inverted_index":{"Side-channels":[0],"have":[1],"been":[2],"increasingly":[3],"demonstrated":[4],"as":[5],"a":[6,26,36,48,52,59,71,95,137,184,201,235,252],"practical":[7],"threat":[8],"to":[9,18,63,94,109,129,172,195,213,233],"the":[10,43,99,111,117,131,142,154,174,204,210,214,238,242],"confidentiality":[11],"of":[12,23,45,54,70,105,113,139,179,203,206,237,254],"private":[13],"user":[14],"information.":[15],"Being":[16],"able":[17,128,171],"statically":[19],"detect":[20,110],"these":[21],"kinds":[22],"vulnerabilites":[24],"is":[25],"key":[27],"challenge":[28],"in":[29,141,158,200,209],"current":[30],"computer":[31],"security":[32],"research.":[33],"We":[34,191,246],"introduce":[35,183],"new":[37],"technique,":[38],"path-cost":[39,56],"analysis":[40,57],"(PCA),":[41],"for":[42,51,80],"detection":[44],"side-channels.":[46],"Given":[47],"cost":[49,61,216],"model":[50],"type":[53],"side-channel,":[55],"assigns":[58],"symbolic":[60,231],"expression":[62],"every":[64,67],"node":[65,87],"and":[66],"back":[68],"edge":[69],"method's":[72,143],"control":[73,118,144,243],"flow":[74,119,145,244],"graph":[75],"that":[76,86,91,156],"gives":[77],"an":[78,196],"over-approximation":[79,202],"all":[81],"possible":[82],"observable":[83,159],"values":[84],"at":[85],"or":[88,230],"after":[89],"traversing":[90],"cycle.":[92],"Queries":[93],"satisfiability":[96],"solver":[97],"on":[98,149,251],"maximum":[100],"distance":[101],"between":[102],"specific":[103],"pairs":[104],"nodes":[106],"allow":[107],"us":[108],"presence":[112],"imbalanced":[114],"paths":[115,140,240],"through":[116,241],"graph.":[120,245],"When":[121],"combined":[122],"with":[123,227],"taint":[124],"analysis,":[125,198],"we":[126,169],"are":[127,170],"answer":[130,173],"following":[132],"question:":[133],"does":[134],"there":[135],"exist":[136],"pair":[138],"graph,":[146],"differing":[147],"only":[148],"branch":[150],"conditions":[151],"influenced":[152],"by":[153,161,223],"secret,":[155],"differs":[157],"value":[160],"more":[162],"than":[163],"some":[164,188],"given":[165,187,215],"threshold?":[166],"In":[167],"fact,":[168],"specifically":[175],"state":[176],"what":[177],"sets":[178],"secret-sensitive":[180],"conditional":[181],"statements":[182],"side-channel":[185],"detectable":[186],"noise":[189],"parameter.":[190],"extend":[192],"this":[193],"approach":[194],"interprocedural":[197],"resulting":[199],"number":[205],"true":[207],"side-channels":[208],"program":[211],"according":[212],"model.":[217],"Greater":[218],"precision":[219],"can":[220],"be":[221],"obtained":[222],"combining":[224],"our":[225,249],"method":[226,250],"predicate":[228],"abstraction":[229],"execution":[232],"eliminate":[234],"subset":[236],"infeasible":[239],"propose":[247],"evaluating":[248],"set":[253],"sizeable":[255],"Java":[256],"server-client":[257],"applications.":[258]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}