{"id":"https://openalex.org/W3134615173","doi":null,"title":"Program Analysis Based Approaches to Ensure Security and Safety of Emerging Software Platforms","display_name":"Program Analysis Based Approaches to Ensure Security and Safety of Emerging Software Platforms","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W3134615173","mag":"3134615173"},"language":"en","primary_location":{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/145845","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/145845","pdf_url":"https://hdl.handle.net/2027.42/145845","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2027.42/145845","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Yunhan Jia","orcid":"https://orcid.org/0009-0004-6324-7630","observed_orcids":["https://orcid.org/0009-0004-6324-7630"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yunhan Jia","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0004-6324-7630","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.8920999765396118,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.8920999765396118,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.07029999792575836,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.021400000900030136,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-security","display_name":"software security","score":0.7940000295639038},{"id":"https://openalex.org/keywords/safety-critical-software","display_name":"safety-critical software","score":0.734000027179718},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.7940000295639038},{"id":"https://openalex.org/keywords/smart-home-platforms","display_name":"smart home platforms","score":0.7120000123977661},{"id":"https://openalex.org/keywords/autonomous-vehicles","display_name":"autonomous vehicles","score":0.7900000214576721},{"id":"https://openalex.org/keywords/mobile-app-vulnerabilities","display_name":"mobile app vulnerabilities","score":0.6269999742507935},{"id":"https://openalex.org/keywords/android-application","display_name":"Android application","score":0.7379999756813049},{"id":"https://openalex.org/keywords/context-based-access-control","display_name":"context-based access control","score":0.8019999861717224},{"id":"https://openalex.org/keywords/vulnerability-patterns","display_name":"vulnerability patterns","score":0.3019999861717224},{"id":"https://openalex.org/keywords/fuzzing","display_name":"fuzzing","score":0.6230000257492065},{"id":"https://openalex.org/keywords/smart-home-security","display_name":"smart home security","score":0.3529999852180481},{"id":"https://openalex.org/keywords/vehicle-security","display_name":"automotive cybersecurity","score":0.33799999952316284},{"id":"https://openalex.org/keywords/permission-system","display_name":"permission system","score":0.3409999907016754},{"id":"https://openalex.org/keywords/security-mechanisms","display_name":"security mechanisms","score":0.3540000021457672},{"id":"https://openalex.org/keywords/program-analysis-tools","display_name":"program analysis tools","score":0.5799999833106995}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4750016927719116},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.4749089479446411},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3932930827140808},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35280951857566833},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.346199095249176},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.20855849981307983},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.09232190251350403}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/145845","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/145845","pdf_url":"https://hdl.handle.net/2027.42/145845","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},{"id":"mag:3134615173","doi":null,"is_oa":false,"landing_page_url":"https://deepblue.lib.umich.edu/handle/2027.42/145845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/145845","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/145845","pdf_url":"https://hdl.handle.net/2027.42/145845","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3134615173.pdf","grobid_xml":"https://content.openalex.org/works/W3134615173.grobid-xml"},"referenced_works_count":91,"referenced_works":["https://openalex.org/W12540587","https://openalex.org/W72496981","https://openalex.org/W82260615","https://openalex.org/W110636400","https://openalex.org/W124941384","https://openalex.org/W127238549","https://openalex.org/W190551272","https://openalex.org/W248070422","https://openalex.org/W1213379166","https://openalex.org/W1445387515","https://openalex.org/W1497028280","https://openalex.org/W1522250664","https://openalex.org/W1522939654","https://openalex.org/W1546956568","https://openalex.org/W1549577837","https://openalex.org/W1593865393","https://openalex.org/W1630356589","https://openalex.org/W1669806660","https://openalex.org/W1855904407","https://openalex.org/W1963971515","https://openalex.org/W1975051432","https://openalex.org/W1976878954","https://openalex.org/W1977001074","https://openalex.org/W1981331664","https://openalex.org/W1982773740","https://openalex.org/W1984361257","https://openalex.org/W1988036170","https://openalex.org/W1993520820","https://openalex.org/W1994588724","https://openalex.org/W2002934700","https://openalex.org/W2007784529","https://openalex.org/W2008345765","https://openalex.org/W2012813306","https://openalex.org/W2023446630","https://openalex.org/W2027538101","https://openalex.org/W2027718224","https://openalex.org/W2042033151","https://openalex.org/W2047764386","https://openalex.org/W2061719810","https://openalex.org/W2067877212","https://openalex.org/W2085925880","https://openalex.org/W2086239403","https://openalex.org/W2088983597","https://openalex.org/W2090044595","https://openalex.org/W2096449544","https://openalex.org/W2102041064","https://openalex.org/W2103370348","https://openalex.org/W2105412867","https://openalex.org/W2110970664","https://openalex.org/W2113486906","https://openalex.org/W2114398364","https://openalex.org/W2119249378","https://openalex.org/W2125011234","https://openalex.org/W2125202010","https://openalex.org/W2132073183","https://openalex.org/W2136954161","https://openalex.org/W2141554582","https://openalex.org/W2158888459","https://openalex.org/W2163643194","https://openalex.org/W2186070848","https://openalex.org/W2221778607","https://openalex.org/W2235876906","https://openalex.org/W2293605433","https://openalex.org/W2354520588","https://openalex.org/W2358552375","https://openalex.org/W2398354233","https://openalex.org/W2398484989","https://openalex.org/W2408302068","https://openalex.org/W2474516640","https://openalex.org/W2475731385","https://openalex.org/W2491928626","https://openalex.org/W2508271471","https://openalex.org/W2508433864","https://openalex.org/W2510008933","https://openalex.org/W2510423754","https://openalex.org/W2510556079","https://openalex.org/W2515052910","https://openalex.org/W2518060702","https://openalex.org/W2573570214","https://openalex.org/W2573983983","https://openalex.org/W2574017551","https://openalex.org/W2577540292","https://openalex.org/W2578991858","https://openalex.org/W2594877703","https://openalex.org/W2616028256","https://openalex.org/W2616594753","https://openalex.org/W2782780792","https://openalex.org/W2792107537","https://openalex.org/W2874800706","https://openalex.org/W2963327228","https://openalex.org/W4245027182"],"related_works":["https://openalex.org/W3000155429","https://openalex.org/W2803355841","https://openalex.org/W3195778081","https://openalex.org/W3012440469","https://openalex.org/W4213334112","https://openalex.org/W4388857420","https://openalex.org/W2748718635","https://openalex.org/W2983482487","https://openalex.org/W7058691389","https://openalex.org/W2889721601"],"abstract_inverted_index":{"Our":[0,244],"smartphones,":[1],"homes,":[2],"hospitals,":[3],"and":[4,45,96,164,191,225,241,251,257,285,294,310,354,364,392,411,422,453,495],"automobiles":[5],"are":[6,291],"being":[7],"enhanced":[8],"with":[9,491],"software":[10,29,50,110,152,168,183,504],"that":[11,30,178,197,216,290,442,498],"provide":[12],"an":[13,22,187],"unprecedentedly":[14],"rich":[15],"set":[16],"of":[17,28,94,101,113,129,182,189,213,269,350,381,461,473],"functionalities,":[18,475],"which":[19,67,330,361,447,476],"has":[20],"created":[21],"enormous":[23],"market":[24],"for":[25,170,220,230,273,389,396,439,470],"the":[26,49,55,82,108,114,127,151,161,167,211,218,267,304,308,324,346,379,401,406,413,432,449,471,487],"development":[27,51,111,212],"run":[31],"on":[32,150,160,254,327,358,505],"almost":[33],"every":[34,99],"personal":[35],"computing":[36],"devices":[37],"in":[38,135,154,166,172,201,234,312,372,455,502],"a":[39,91,141,319,340,386,435],"person's":[40],"daily":[41],"life,":[42,103],"including":[43],"security-":[44],"safety-critical":[46,503],"ones.":[47],"However,":[48],"support":[52,112],"provided":[53],"by":[54,62,90,107,271,323],"emerging":[56,115,155,235,506],"platforms":[57,171,196,233],"also":[58],"raises":[59],"security":[60,133,153,214,356],"risks":[61,105],"allowing":[63],"untrusted":[64],"third-party":[65,313,444],"code,":[66],"can":[68,198],"potentially":[69],"be":[70,199,419],"buggy,":[71],"vulnerable":[72,274,366],"or":[73,204],"even":[74],"malicious":[75],"to":[76,126,140,186,210,265,282,302,307,335,344,394,399,418,500],"control":[77,299,384,416],"user's":[78],"device.":[79],"Moreover,":[80],"as":[81,385],"Internet-of-Things":[83],"(IoT)":[84],"technology":[85],"is":[86,97],"gaining":[87],"vast":[88],"adoptions":[89],"wide":[92],"range":[93],"industries,":[95],"penetrating":[98],"aspects":[100],"people's":[102],"safety":[104,206],"brought":[106],"open":[109,325,351,367],"IoT":[116,440],"platform":[117,441],"(e.g.,":[118],"smart":[119,239,408],"home)":[120],"could":[121],"bring":[122],"more":[123],"severe":[124],"threat":[125],"well-being":[128],"customers":[130],"than":[131],"what":[132],"vulnerabilities":[134,163,250],"mobile":[136,328,359],"apps":[137,457],"have":[138],"done":[139],"cell":[142],"phone":[143],"user.":[144],"To":[145],"address":[146],"this":[147],"challenge":[148],"posed":[149],"domains,":[156],"my":[157],"dissertation":[158],"focuses":[159],"flaws,":[162],"malice":[165,311,454],"developed":[169],"these":[173,221,255,456],"domains.":[174],"Specifically,":[175],"we":[176,258,316,430,464],"demonstrate":[177],"systematic":[179,348],"program":[180,227],"analyses":[181],"(1)":[184,260],"Lead":[185,209],"understanding":[188],"design":[190,252,465],"implementation":[192],"flaws":[193,253],"across":[194],"different":[195,249],"leveraged":[200],"miscellaneous":[202],"attacks":[203],"causing":[205],"problems;":[207],"(2)":[208,277],"mechanisms":[215,417],"limit":[217],"potential":[219],"threats.We":[222],"contribute":[223],"static":[224,261],"dynamic":[226,278,466],"analysis":[228,246,262],"techniques":[229,490],"three":[231],"modern":[232],"domains":[236],"--":[237],"smartphone,":[238],"home,":[240],"autonomous":[242,507],"vehicle.":[243],"app":[245,445],"reveals":[247],"various":[248],"platforms,":[256],"propose":[259,296,431],"tool":[263,280,341],"OPAnalyzer":[264,343],"automates":[266],"discovery":[268],"problems":[270,497],"searching":[272],"code":[275,480],"patterns;":[276],"testing":[279,472,484],"AutoFuzzer":[281,469],"efficiently":[283],"produce":[284],"capture":[286],"domain":[287,493],"specific":[288],"issues":[289],"previously":[292],"undefined;":[293],"(3)":[295],"new":[297],"access":[298,383,415],"mechanism":[300],"ContexIoT":[301,433],"strengthen":[303,400],"platform's":[305],"immunity":[306],"vulnerability":[309,320,452],"software.":[314],"Concretely,":[315],"first":[317,347],"study":[318,349,405],"family":[321],"caused":[322],"ports":[326],"devices,":[329],"allows":[331],"remote":[332],"exploitation":[333],"due":[334],"insufficient":[336],"protection.":[337],"We":[338,376,404],"devise":[339],"called":[342],"perform":[345],"port":[352,368],"usage":[353,369],"their":[355],"implications":[357],"platform,":[360,410],"effectively":[362],"identify":[363,378],"characterize":[365],"at":[370],"scale":[371],"popular":[373,407],"Android":[374],"apps.":[375],"further":[377],"lack":[380],"context-based":[382,436],"main":[387],"enabler":[388],"such":[390],"attacks,":[391],"begin":[393],"seek":[395],"defense":[397],"solution":[398],"system":[402,438],"security.":[403],"home":[409],"find":[412],"existing":[414],"coarse-grand,":[420],"insufficient,":[421],"undemanding.":[423],"Taking":[424],"lessons":[425],"from":[426,451],"previous":[427],"permission":[428,437],"systems,":[429],"approach,":[434],"supports":[443],"development,":[446],"protects":[448],"user":[450],"through":[458],"fine-grained":[459],"identification":[460],"context.":[462],"Finally,":[463],"fuzzing":[467,489],"tool,":[468],"self-driving":[474],"demand":[477],"very":[478],"high":[479],"quality":[481],"using":[482],"improved":[483],"practice":[485],"combining":[486],"state-of-the-art":[488],"vehicular":[492],"knowledge,":[494],"discover":[496],"lead":[499],"crashes":[501],"vehicle":[508],"platform.":[509]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2021-03-15T00:00:00"}