{"id":"https://openalex.org/W2079146453","doi":"https://doi.org/10.1145/2810103.2812703","title":"Program Analysis for Mobile Application Integrity and Privacy Enforcement","display_name":"Program Analysis for Mobile Application Integrity and Privacy Enforcement","publication_year":2015,"publication_date":"2015-10-06","ids":{"openalex":"https://openalex.org/W2079146453","doi":"https://doi.org/10.1145/2810103.2812703","mag":"2079146453"},"language":"en","primary_location":{"id":"doi:10.1145/2810103.2812703","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2810103.2812703","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security","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/A5066501364","display_name":"Marco Pistoia","orcid":"https://orcid.org/0000-0001-9002-1128"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marco Pistoia","raw_affiliation_strings":["IBM, Yorktown Heights, NY, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Yorktown Heights, NY, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066501364"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08261909,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1698","last_page":"1699"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994000196456909,"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/T11424","display_name":"Security and Verification in Computing","score":0.9890000224113464,"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/T12034","display_name":"Digital and Cyber Forensics","score":0.9857000112533569,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.8893599510192871},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8624181151390076},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8039728403091431},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.7262930870056152},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6319457292556763},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.627755343914032},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6188305616378784},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.6048485040664673},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.5843740105628967},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.5087936520576477},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.5046409368515015},{"id":"https://openalex.org/keywords/mobile-device","display_name":"Mobile device","score":0.49458953738212585},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.4722537398338318},{"id":"https://openalex.org/keywords/mobile-computing","display_name":"Mobile computing","score":0.42909830808639526},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.41471272706985474},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.15642914175987244},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1536787748336792},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13929525017738342},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10716971755027771}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8893599510192871},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8624181151390076},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8039728403091431},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.7262930870056152},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6319457292556763},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.627755343914032},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6188305616378784},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.6048485040664673},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.5843740105628967},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.5087936520576477},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.5046409368515015},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.49458953738212585},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.4722537398338318},{"id":"https://openalex.org/C144543869","wikidata":"https://www.wikidata.org/wiki/Q2738570","display_name":"Mobile computing","level":2,"score":0.42909830808639526},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.41471272706985474},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15642914175987244},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1536787748336792},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13929525017738342},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10716971755027771},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2810103.2812703","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2810103.2812703","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7200000286102295}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2005010039","https://openalex.org/W2029684113","https://openalex.org/W2021162507","https://openalex.org/W2514903476","https://openalex.org/W3111646971","https://openalex.org/W3120011499","https://openalex.org/W2127761335","https://openalex.org/W2064613179","https://openalex.org/W2930019028","https://openalex.org/W2996442553"],"abstract_inverted_index":{"Program":[0],"analysis":[1,73,94,104,132],"has":[2],"become":[3],"an":[4,57],"essential":[5],"tool":[6],"to":[7,17,114,134,150],"verify":[8],"the":[9,51,63,82,96,111,147,158,163,167],"correctness":[10],"of":[11,54,56,85,90,137,162],"programs":[12],"before":[13],"these":[14],"are":[15,59,105],"deployed":[16],"end":[18],"users'":[19],"computers":[20],"and":[21,66,92,102,108,116,130,140,160],"devices.":[22],"Detecting":[23],"security":[24,120],"problems":[25],"in":[26,122],"today's":[27],"mobile":[28,123,138],"applications":[29],"by":[30,166],"just":[31],"relying":[32],"on":[33],"manual":[34],"code":[35],"inspection":[36],"is":[37,40,45,74],"unrealistic.":[38],"Testing":[39],"also":[41],"limited":[42],"because":[43],"there":[44],"often":[46],"no":[47],"guarantee":[48],"that":[49,98,145,156],"all":[50,62],"possible":[52,64],"paths":[53],"execution":[55],"application":[58],"tested":[60],"under":[61],"inputs,":[65],"so":[67],"false":[68,86],"negatives":[69],"may":[70],"arise.":[71],"Static":[72],"a":[75,142,153],"very":[76],"promising":[77],"solution":[78,113,155],"but":[79],"suffers":[80],"from":[81],"dual":[83],"problem":[84],"positives.":[87],"A":[88],"combination":[89],"static":[91,101,129],"dynamic":[93,103,131],"mitigates":[95],"disadvantages":[97],"arise":[99],"when":[100],"executed":[106],"individually":[107],"is,":[109],"therefore,":[110],"recommended":[112],"detect":[115],"correct":[117],"application-level":[118],"cyber":[119],"attacks":[121],"applications.":[124],"This":[125],"tutorial":[126],"presents":[127],"both":[128],"approaches":[133],"enforce":[135],"privacy":[136],"applications,":[139],"includes":[141],"hands-on":[143],"lab":[144],"teaches":[146],"audience":[148],"how":[149],"use":[151],"create":[152],"static-analysis":[154],"verifies":[157],"integrity":[159],"confidentiality":[161],"data":[164],"managed":[165],"program":[168],"itself.":[169]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}