{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:32:47Z","timestamp":1742387567088},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797761","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T21:54:22Z","timestamp":1483048462000},"page":"163-172","source":"Crossref","is-referenced-by-count":4,"title":["Asynchrony-aware static analysis of Android applications"],"prefix":"10.1109","author":[{"given":"Ashish","family":"Mishra","sequence":"first","affiliation":[]},{"given":"Aditya","family":"Kanade","sequence":"additional","affiliation":[]},{"given":"Y. N.","family":"Srikant","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382223"},{"key":"ref11","first-page":"543","article-title":"Effective inter-component communication mapping in android with epicc: An essential step towards holistic security analysis","author":"octeau","year":"2013","journal-title":"Proceedings of the 22nd USENIX Conference on Security SEC'13"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"ref14","first-page":"13","article-title":"Soot - a java bytecode optimization framework","author":"vall\u00e9e-rai","year":"1999","journal-title":"CASCON '99"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660357"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2594291.2594299","article-title":"Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps","author":"arzt","year":"2014","journal-title":"Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI '14"},{"journal-title":"Asyncbench","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"ref5","first-page":"393","article-title":"Taintdroid: An information-flow tracking system for realtime privacy monitoring on smartphones","author":"enck","year":"2010","journal-title":"Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation OSDI'10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190266"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"journal-title":"AppBrain","year":"0","key":"ref2"},{"journal-title":"Android media player","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.48"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797761.pdf?arnumber=7797761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T06:38:42Z","timestamp":1658299122000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797761\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797761","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}