{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:14Z","timestamp":1763468114638,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T00:00:00Z","timestamp":1361145600000},"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,2,18]]},"DOI":"10.1145\/2435349.2435379","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T14:32:38Z","timestamp":1361284358000},"page":"209-220","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":221,"title":["AppsPlayground"],"prefix":"10.1145","author":[{"given":"Vaibhav","family":"Rastogi","sequence":"first","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Chen","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Enck","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,2,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Qemu. http:\/\/www.qemu.org.  Qemu. http:\/\/www.qemu.org."},{"key":"e_1_3_2_1_2_1","unstructured":"Abbot. http:\/\/abbot.sourceforge.net\/.  Abbot. http:\/\/abbot.sourceforge.net\/."},{"key":"e_1_3_2_1_3_1","first-page":"296","volume-title":"Apfelbaum and John Doyle. Model Based Testing. In Software Quality Week Conference","author":"Larry","year":"1997","unstructured":"Larry Apfelbaum and John Doyle. Model Based Testing. In Software Quality Week Conference , pages 296 -- 300 , 1997 . URL http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.86.1342. Larry Apfelbaum and John Doyle. Model Based Testing. In Software Quality Week Conference, pages 296--300, 1997. URL http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.86.1342."},{"key":"e_1_3_2_1_4_1","unstructured":"AutoIt. http:\/\/www.autoitscript.com\/site\/autoit\/.  AutoIt. http:\/\/www.autoitscript.com\/site\/autoit\/."},{"key":"e_1_3_2_1_5_1","volume-title":"Model Checking","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Orna Grumberg , and Doron A. Peled . Model Checking . The MIT Press , January 1999 . ISBN 0262032708. URL http:\/\/www.worldcat.org\/isbn\/0262032708. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, January 1999. ISBN 0262032708. URL http:\/\/www.worldcat.org\/isbn\/0262032708."},{"key":"e_1_3_2_1_6_1","volume-title":"ISOC Network and Distributed System Security Symposium (NDSS)","author":"Egele Manuel","year":"2011","unstructured":"Manuel Egele , Christopher Kruegel , Engin Kirda , and Giovanni Vigna . PiOS : Detecting Privacy Leaks in iOS Applications . In ISOC Network and Distributed System Security Symposium (NDSS) , February 2011 . Manuel Egele, Christopher Kruegel, Engin Kirda, and Giovanni Vigna. PiOS: Detecting Privacy Leaks in iOS Applications. In ISOC Network and Distributed System Security Symposium (NDSS), February 2011."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Enck William","year":"2010","unstructured":"William Enck , Peter Gilbert , Byung-Gon Chun , Landon P. Cox , Jaeyeon Jung , Patrick McDaniel , and Anmol N. Sheth . TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones . In Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI) , Vancouver, BC , October 2010 . William Enck, Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, and Anmol N. Sheth. TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. In Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, BC, October 2010."},{"key":"e_1_3_2_1_8_1","volume-title":"Swarat Chaudhuri. A Study of Android Application Security. In Proceedings of the 20th USENIX Security Symposium","author":"Enck William","year":"2011","unstructured":"William Enck , Damien Octeau , Patrick McDaniel , and Swarat Chaudhuri. A Study of Android Application Security. In Proceedings of the 20th USENIX Security Symposium , San Francisco, CA , August 2011 . William Enck, Damien Octeau, Patrick McDaniel, and Swarat Chaudhuri. A Study of Android Application Security. In Proceedings of the 20th USENIX Security Symposium, San Francisco, CA, August 2011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046780"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775174"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1558977.1558997"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455806"},{"key":"e_1_3_2_1_14_1","unstructured":"Kasperskey Lab. First SMS Trojan detected for smartphones running Android. http:\/\/www.kaspersky.com\/news?id=207576158 August 2010.  Kasperskey Lab. First SMS Trojan detected for smartphones running Android. http:\/\/www.kaspersky.com\/news?id=207576158 August 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_16_1","unstructured":"Lookout. Update: Security Alert: DroidDream Malware Found in Official Android Market. http:\/\/blog.mylookout.com\/blog\/2011\/03\/01\/security-alert-malware-found-in-official-android-market-droiddream\/.  Lookout. Update: Security Alert: DroidDream Malware Found in Official Android Market. http:\/\/blog.mylookout.com\/blog\/2011\/03\/01\/security-alert-malware-found-in-official-android-market-droiddream\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908959"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v17:3"},{"key":"e_1_3_2_1_19_1","first-page":"2003","volume-title":"Working Conference on","author":"Memon Atif","unstructured":"Atif Memon , Ishan Banerjee , and Adithya Nagarajan . GUI Ripping : Reverse Engineering of Graphical User Interfaces for Testing. Reverse Engineering , Working Conference on , pages 260+, 2003 . ISSN 1095--1350. doi: 10.1109\/WCRE.2003.1287256. URL http:\/\/dx.doi.org\/10.1109\/WCRE.2003.1287256. 10.1109\/WCRE.2003.1287256 Atif Memon, Ishan Banerjee, and Adithya Nagarajan. GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. Reverse Engineering, Working Conference on, pages 260+, 2003. ISSN 1095--1350. doi: 10.1109\/WCRE.2003.1287256. URL http:\/\/dx.doi.org\/10.1109\/WCRE.2003.1287256."},{"key":"e_1_3_2_1_20_1","volume-title":"June","author":"Oberheide Jon","year":"2012","unstructured":"Jon Oberheide . Dissecting android's bouncer , June 2012 . https:\/\/blog.duosecurity.com\/2012\/06\/dissecting-androids-bouncer\/. Jon Oberheide. Dissecting android's bouncer, June 2012. https:\/\/blog.duosecurity.com\/2012\/06\/dissecting-androids-bouncer\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0128-3"},{"key":"e_1_3_2_1_22_1","first-page":"1","volume-title":"Information Security","author":"Raffetseder T.","year":"2007","unstructured":"T. Raffetseder , C. Kruegel , and E. Kirda . Detecting system emulators . Information Security , pages 1 -- 18 , 2007 . T. Raffetseder, C. Kruegel, and E. Kirda. Detecting system emulators. Information Security, pages 1--18, 2007."},{"key":"e_1_3_2_1_23_1","first-page":"129","volume-title":"Proceedings of the International Conference on Very Large Data Bases","author":"Raghavan S.","year":"2001","unstructured":"S. Raghavan and H. Garcia-Molina . Crawling the hidden web . In Proceedings of the International Conference on Very Large Data Bases , pages 129 -- 138 , 2001 . S. Raghavan and H. Garcia-Molina. Crawling the hidden web. In Proceedings of the International Conference on Very Large Data Bases, pages 129--138, 2001."},{"key":"e_1_3_2_1_24_1","unstructured":"Robotium. http:\/\/code.google.com\/p\/robotium\/.  Robotium. http:\/\/code.google.com\/p\/robotium\/."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.38"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_27_1","volume-title":"IN NDSS","author":"Wang Yi-Min","year":"2006","unstructured":"Yi-Min Wang , Doug Beck , Xuxian Jiang , and Roussi Roussev . Automated Web Patrol with Strider HoneyMonkeys: Finding Web Sites that Exploit Browser Vulnerabilities . In IN NDSS , 2006 . URL http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.100.224. Yi-Min Wang, Doug Beck, Xuxian Jiang, and Roussi Roussev. Automated Web Patrol with Strider HoneyMonkeys: Finding Web Sites that Exploit Browser Vulnerabilities. In IN NDSS, 2006. URL http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.100.224."},{"key":"e_1_3_2_1_28_1","volume-title":"June","author":"Whitwam Ryan","year":"2012","unstructured":"Ryan Whitwam . Circumventing google's bouncer, android's anti-malware system , June 2012 . http:\/\/www.extremetech.com\/computing\/130424-circumventing-googles-bouncer-androids-anti-malware-system. Ryan Whitwam. Circumventing google's bouncer, android's anti-malware system, June 2012. http:\/\/www.extremetech.com\/computing\/130424-circumventing-googles-bouncer-androids-anti-malware-system."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.45"},{"volume-title":"Yan and H Yin. DroidScope: Seamlessly Reconstructing the OS and Dalvik. In Proceedings of USENIX Security Symposium. USENIX Association","year":"2012","key":"e_1_3_2_1_30_1","unstructured":"L-K Yan and H Yin. DroidScope: Seamlessly Reconstructing the OS and Dalvik. In Proceedings of USENIX Security Symposium. USENIX Association , 2012 . URL http:\/\/portal.acm.org\/citation.cfm?id=1558977.1558997. L-K Yan and H Yin. DroidScope: Seamlessly Reconstructing the OS and Dalvik. In Proceedings of USENIX Security Symposium. USENIX Association, 2012. URL http:\/\/portal.acm.org\/citation.cfm?id=1558977.1558997."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2381934.2381950"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.16"}],"event":{"name":"CODASPY'13: Third ACM Conference on Data and Application Security and Privacy","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"San Antonio Texas USA","acronym":"CODASPY'13"},"container-title":["Proceedings of the third ACM conference on Data and application security and privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435349.2435379","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2435349.2435379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:57Z","timestamp":1750234737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435349.2435379"}},"subtitle":["automatic security analysis of smartphone applications"],"short-title":[],"issued":{"date-parts":[[2013,2,18]]},"references-count":32,"alternative-id":["10.1145\/2435349.2435379","10.1145\/2435349"],"URL":"https:\/\/doi.org\/10.1145\/2435349.2435379","relation":{},"subject":[],"published":{"date-parts":[[2013,2,18]]},"assertion":[{"value":"2013-02-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}