{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:29:17Z","timestamp":1753439357791},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_26","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"364-381","source":"Crossref","is-referenced-by-count":23,"title":["Instrumenting Android and Java Applications as Easy as abc"],"prefix":"10.1007","author":[{"given":"Steven","family":"Arzt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siegfried","family":"Rasthofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"International Data Corporation: Worldwide quarterly mobile phone tracker 3q12 (November 2012), \n                    \n                      http:\/\/www.idc.com\/tracker\/showproductinfo.jsp?prod_id=37"},{"key":"26_CR2","unstructured":"Bit9: Pausing google play: More than 100,000 android apps may pose security risks (November 2012), \n                    \n                      http:\/\/www.bit9.com\/pausing-google-play\/"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Lu, L., Li, Z., Wu, Z., Lee, W., Jiang, G.: Chex: statically vetting android apps for component hijacking vulnerabilities. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, pp. 229\u2013240. ACM (2012)","DOI":"10.1145\/2382196.2382223"},{"key":"26_CR4","unstructured":"Kim, J., Yoon, Y., Yi, K., Shin, J., Center, S.: Scandal: Static analyzer for detecting privacy leaks in android applications. In: Proceedings of the Workshop on Mobile Security Technologies (MoST), in Conjunction with the IEEE Symposium on Security and Privacy (2012)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Yang, Z., Yang, M.: Leakminer: Detect information leakage on android with static taint analysis. In: IEEE 2012 Third World Congress on Software Engineering (WCSE), pp. 101\u2013104 (2012)","DOI":"10.1109\/WCSE.2012.26"},{"key":"26_CR6","first-page":"1","volume-title":"Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation. OSDI 2010","author":"W. Enck","year":"2010","unstructured":"Enck, W., Gilbert, P., Chun, B.G., Cox, L.P., Jung, J., McDaniel, P., 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. OSDI 2010, pp. 1\u20136. USENIX Association, Berkeley (2010)"},{"key":"26_CR7","first-page":"27","volume-title":"Proceedings of the 21st USENIX Conference on Security Symposium, Security 2012","author":"R. Xu","year":"2012","unstructured":"Xu, R., Sa\u00efdi, H., Anderson, R.: Aurasium: practical policy enforcement for android applications. In: Proceedings of the 21st USENIX Conference on Security Symposium, Security 2012, pp. 27\u201327. USENIX Association, Berkeley (2012)"},{"key":"26_CR8","unstructured":"Lam, P., Bodden, E., Lhot\u00e1k, O., Hendren, L.: The soot framework for java program analysis: a retrospective. In: Cetus Users and Compiler Infastructure Workshop, CETUS 2011 (October 2011)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/11561347_2","volume-title":"Generative Programming and Component Engineering","author":"C. Allan","year":"2005","unstructured":"Allan, C., et al.: Abc: the aspectbench compiler for aspectj. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 10\u201316. Springer, Heidelberg (2005)"},{"key":"26_CR10","unstructured":"Android: Android security overview (December 2012), \n                    \n                      http:\/\/source.android.com\/tech\/security\/"},{"key":"26_CR11","unstructured":"Goolge Inc.: Google play (December 2012), \n                    \n                      https:\/\/play.google.com\/"},{"key":"26_CR12","unstructured":"Bodden, E., Hermann, B., Lerch, J., Mezini, M.: Reducing human factors in software security architectures. In: Future Security Conference (to appear, September 2013)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Oh, H.S., Kim, B.J., Choi, H.K., Moon, S.M.: Evaluation of android dalvik virtual machine. In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012, pp. 115\u2013124 (2012)","DOI":"10.1145\/2388936.2388956"},{"key":"26_CR14","unstructured":"Google Inc.: Application fundamentals (December 2012), \n                    \n                      http:\/\/developer.android.com\/guide\/components\/fundamentals.html"},{"key":"26_CR15","unstructured":"Google Inc.: Content provider basics (December 2012), \n                    \n                      http:\/\/developer.android.com\/guide\/topics\/providers\/content-provider-basics.html"},{"key":"26_CR16","unstructured":"Google Inc.: Activity (June 2013), \n                    \n                      http:\/\/developer.android.com\/reference\/android\/app\/Activity.html"},{"key":"26_CR17","unstructured":"Google Inc.: Logcat (June 2013), \n                    \n                      http:\/\/developer.android.com\/tools\/help\/logcat.html"},{"key":"26_CR18","unstructured":"Google Inc.: Android emulator (June 2013), \n                    \n                      http:\/\/developer.android.com\/tools\/help\/emulator.html"},{"key":"26_CR19","unstructured":"Google Inc.: Android debug bridge (June 2013), \n                    \n                      http:\/\/developer.android.com\/tools\/help\/adb.html"},{"key":"26_CR20","unstructured":"Google Inc.: Signing your applications (June 2013), \n                    \n                      http:\/\/developer.android.com\/tools\/publishing\/app-signing.html"},{"key":"26_CR21","unstructured":"Google Inc.: zipalign (June 2013), \n                    \n                      http:\/\/developer.android.com\/tools\/help\/zipalign.html"},{"key":"26_CR22","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/1094811.1094839","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. OOPSLA 2005","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. OOPSLA 2005, pp. 345\u2013364. ACM, New York (2005)"},{"key":"26_CR23","unstructured":"Bodden, E.: Packs and phases in soot (November 2008), \n                    \n                      http:\/\/www.bodden.de\/2008\/11\/26\/soot-packs\/"},{"key":"26_CR24","unstructured":"Lam, P., Qian, F., Lhot\u00e1k, O.: Packs and phases in soot (November 2008), \n                    \n                      http:\/\/www.sable.mcgill.ca\/soot\/tutorial\/phase\/"},{"key":"26_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O. Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling java points-to analysis using spark. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"key":"26_CR26","unstructured":"Patrick Lam, F.Q., Lhot\u00e1k, O.: Soot command-line options (June 2013), \n                    \n                      http:\/\/www.sable.mcgill.ca\/soot\/tutorial\/usage"},{"key":"26_CR27","unstructured":"Arzt, S., Falzon, K., Follner, A., Rasthofer, S., Bodden, E., Stolz, V.: How useful are existing monitoring languages for securing android apps? In: 6. Arbeitstagung Programmiersprachen (ATPS 2013). Lecture Notes in Informatics, Gesellschaft f\u00fcr Informatik (February 2013)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:21:40Z","timestamp":1558077700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}