{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:11:04Z","timestamp":1771697464161,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T00:00:00Z","timestamp":1383868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,8]]},"DOI":"10.1145\/2516760.2516769","type":"proceedings-article","created":{"date-parts":[[2013,11,12]],"date-time":"2013-11-12T15:29:36Z","timestamp":1384270176000},"page":"21-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Sound and precise malware analysis for android via pushdown reachability and entry-point saturation"],"prefix":"10.1145","author":[{"given":"Shuying","family":"Liang","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew W.","family":"Keep","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Might","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Lyde","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Gilray","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petey","family":"Aldous","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Van Horn","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"apk tool. android-apktool a tool for reverse engineering android apk files. http:\/\/code.google.com\/p\/android-apktool\/.  apk tool. android-apktool a tool for reverse engineering android apk files. http:\/\/code.google.com\/p\/android-apktool\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382222"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646732.701281"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572274"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 19th Annual Network & Distributed System Security Symposium (Feb.","author":"Bugiel S.","year":"2012","unstructured":"Bugiel , S. , Davi , L. , Dmitrienko , A. , Fischer , T. , Sadeghi , A.-R. , and Shastry , B . Towards taming privilege-escalation attacks on Android . In Proceedings of the 19th Annual Network & Distributed System Security Symposium (Feb. 2012 ). Bugiel, S., Davi, L., Dmitrienko, A., Fischer, T., Sadeghi, A.-R., and Shastry, B. Towards taming privilege-escalation attacks on Android. In Proceedings of the 19th Annual Network & Distributed System Security Symposium (Feb. 2012)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999995.2000018"},{"key":"e_1_3_2_1_8_1","unstructured":"Contagio. Contagio. http:\/\/contagiodump.blogspot.com.  Contagio. Contagio. http:\/\/contagiodump.blogspot.com."},{"key":"e_1_3_2_1_9_1","first-page":"23","volume-title":"Proceedings of the 20th USENIX conference on Security (Berkeley, CA, USA, 2011), SEC'11, USENIX Association","author":"Dietz M.","unstructured":"Dietz , M. , Shekhar , S. , Pisetsky , Y. , Shu , A. , and Wallach , D. S . Quire: lightweight provenance for smart phone operating systems . In Proceedings of the 20th USENIX conference on Security (Berkeley, CA, USA, 2011), SEC'11, USENIX Association , pp. 23 -- 23 . Dietz, M., Shekhar, S., Pisetsky, Y., Shu, A., and Wallach, D. S. Quire: lightweight provenance for smart phone operating systems. In Proceedings of the 20th USENIX conference on Security (Berkeley, CA, USA, 2011), SEC'11, USENIX Association, pp. 23--23."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364576"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 9th USENIX conference on Operating systems design and implementation","author":"Enck W.","year":"2010","unstructured":"Enck , W. , Gilbert , P. , Chun , B.-G. , Cox , L. P. , Jung , J. , McDaniel , P. , and Sheth , A. N . TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones . In Proceedings of the 9th USENIX conference on Operating systems design and implementation ( Berkeley, CA, USA , 2010 ), OSDI'10, USENIX Association, pp. 1--6. Enck, W., Gilbert, P., Chun, B.-G., Cox, L. P., Jung, J., McDaniel, P., and Sheth, A. N. TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In Proceedings of the 9th USENIX conference on Operating systems design and implementation (Berkeley, CA, USA, 2010), OSDI'10, USENIX Association, pp. 1--6."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41654"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046779"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046614.2046618"},{"key":"e_1_3_2_1_15_1","volume-title":"20st USENIX Security Symposium (Aug.","author":"Felt A. P.","year":"2011","unstructured":"Felt , A. P. , Wang , H. J. , Moshchuk , A. , Hanna , S. , and Chin , E . Permission Re-Delegation: Attacks and defenses. In Security 2011 , 20st USENIX Security Symposium (Aug. 2011 ), D. Wagner, Ed., USENIX Association. Felt, A. P., Wang, H. J., Moshchuk, A., Hanna, S., and Chin, E. Permission Re-Delegation: Attacks and defenses. In Security 2011, 20st USENIX Security Symposium (Aug. 2011), D. Wagner, Ed., USENIX Association."},{"key":"e_1_3_2_1_16_1","unstructured":"Freke J. Smali an assembler\/disassembler for Android's dex format. http:\/\/code.google.com\/p\/smali\/wiki\/Registers.  Freke J. Smali an assembler\/disassembler for Android's dex format. http:\/\/code.google.com\/p\/smali\/wiki\/Registers."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.51"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.35"},{"key":"e_1_3_2_1_19_1","unstructured":"Fundamentals A. Bytecode for the Dalvik VM. http:\/\/developer.android.com\/guide\/components\/fundamentals.html.  Fundamentals A. Bytecode for the Dalvik VM. http:\/\/developer.android.com\/guide\/components\/fundamentals.html."},{"key":"e_1_3_2_1_20_1","unstructured":"Gartner. 10 billion Android Market downloads and counting. http:\/\/googleblog.blogspot.com\/2011\/12\/10-billion-android-market-downloads-and.html.  Gartner. 10 billion Android Market downloads and counting. http:\/\/googleblog.blogspot.com\/2011\/12\/10-billion-android-market-downloads-and.html."},{"key":"e_1_3_2_1_21_1","volume-title":"Gartner says sales of mobile devices grew 5.6 percent in third quarter of 2011","author":"Gartner","year":"1848","unstructured":"Gartner . Gartner says sales of mobile devices grew 5.6 percent in third quarter of 2011 ; smartphone sales increased 42 percent. http:\/\/www.gartner.com\/newsroom\/id\/ 1848 514. Gartner. Gartner says sales of mobile devices grew 5.6 percent in third quarter of 2011; smartphone sales increased 42 percent. http:\/\/www.gartner.com\/newsroom\/id\/1848514."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (Feb.","author":"Grace M.","year":"2012","unstructured":"Grace , M. , Zhou , Y. , Wang , Z. , and Jiang , X . Systematic detection of capability leaks in stock Android smartphones . In Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (Feb. 2012 ). Grace, M., Zhou, Y., Wang, Z., and Jiang, X. Systematic detection of capability leaks in stock Android smartphones. In Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (Feb. 2012)."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (Feb.","author":"Grace M.","year":"2012","unstructured":"Grace , M. , Zhou , Y. , Wang , Z. , and Jiang , X . Systematic detection of capability leaks in stock Android smartphones . In Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (Feb. 2012 ). Grace, M., Zhou, Y., Wang, Z., and Jiang, X. Systematic detection of capability leaks in stock Android smartphones. In Proceedings of the 19th Network and Distributed System Security Symposium (NDSS) (Feb. 2012)."},{"key":"e_1_3_2_1_24_1","unstructured":"IBM. WALA. http:\/\/wala.sourceforge.net\/wiki\/index.php\/Main_Page.  IBM. WALA. http:\/\/wala.sourceforge.net\/wiki\/index.php\/Main_Page."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2381934.2381938"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996867"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349230"},{"key":"e_1_3_2_1_28_1","first-page":"153","volume-title":"Proceedings of the 12th international conference on Compiler construction (Berlin, Heidelberg, 2003), CC'03, Springer-Verlag","author":"Lhot\u00e1k O.","unstructured":"Lhot\u00e1k , O. , and Hendren , L . Scaling Java points-to analysis using SPARK . In Proceedings of the 12th international conference on Compiler construction (Berlin, Heidelberg, 2003), CC'03, Springer-Verlag , pp. 153 -- 169 . Lhot\u00e1k, O., and Hendren, L. Scaling Java points-to analysis using SPARK. In Proceedings of the 12th international conference on Compiler construction (Berlin, Heidelberg, 2003), CC'03, Springer-Verlag, pp. 153--169."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2336717.2336725"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382223"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00049-9"},{"key":"e_1_3_2_1_34_1","unstructured":"Project T. A. O. S. Bytecode for the Dalvik VM. http:\/\/source.android.com\/tech\/dalvik\/dalvik-bytecode.html.  Project T. A. O. S. Bytecode for the Dalvik VM. http:\/\/source.android.com\/tech\/dalvik\/dalvik-bytecode.html."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360208"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00093-7"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941569"},{"key":"e_1_3_2_1_39_1","unstructured":"Ryu S. Exception analysis for multithreaded Java programs.  Ryu S. Exception analysis for multithreaded Java programs."},{"key":"e_1_3_2_1_41_1","unstructured":"Soot. A Java optimization framework. http:\/\/www. sable.mcgill.ca\/soot.  Soot. A Java optimization framework. http:\/\/www. sable.mcgill.ca\/soot."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863553"},{"key":"e_1_3_2_1_43_1","volume-title":"B., Yi, K., and moo Choe, K. An uncaught exception analysis for Java","author":"Jo J.","year":"2002","unstructured":"wu Jo , J. , mo Chang , B., Yi, K., and moo Choe, K. An uncaught exception analysis for Java , 2002 . wu Jo, J., mo Chang, B., Yi, K., and moo Choe, K. An uncaught exception analysis for Java, 2002."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2381934.2381950"}],"event":{"name":"CCS'13: 2013 ACM SIGSAC Conference on Computer and Communications Security","location":"Berlin Germany","acronym":"CCS'13","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the Third ACM workshop on Security and privacy in smartphones & mobile devices"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2516760.2516769","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2516760.2516769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:12Z","timestamp":1750234212000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2516760.2516769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,8]]},"references-count":42,"alternative-id":["10.1145\/2516760.2516769","10.1145\/2516760"],"URL":"https:\/\/doi.org\/10.1145\/2516760.2516769","relation":{},"subject":[],"published":{"date-parts":[[2013,11,8]]},"assertion":[{"value":"2013-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}