{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T05:26:36Z","timestamp":1749619596284,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319178219"},{"type":"electronic","value":"9783319178226"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17822-6_8","type":"book-chapter","created":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T05:57:31Z","timestamp":1429682251000},"page":"133-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Partial Evaluation for Java Malware Detection"],"prefix":"10.1007","author":[{"given":"Ranjeet","family":"Singh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"unstructured":"Rapid 7. Java Applet JMX Remote Code Execution (2013)","key":"8_CR1"},{"unstructured":"Rapid 7. Metasploit (2014)","key":"8_CR2"},{"doi-asserted-by":"crossref","unstructured":"Andersen, L.: Binding-time analysis and the taming of C pointers. In: PEPM, pp. 47\u201358. ACM (1993)","key":"8_CR3","DOI":"10.1145\/154630.154636"},{"doi-asserted-by":"crossref","unstructured":"Braux, M., Noy\u00e9, J.: Towards partially evaluating reflection in Java. In: PEPM, pp. 2\u201311. ACM (2000)","key":"8_CR4","DOI":"10.1145\/328691.328693"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11416-007-0059-8","volume":"3","author":"M Christodorescu","year":"2007","unstructured":"Christodorescu, M., Jha, S., Kinder, J., Katzenbeisser, S., Veith, H.: Software transformations to improve malware detection. J. Comput. Virol. 3(4), 253\u2013265 (2007)","journal-title":"J. Comput. Virol."},{"key":"8_CR6","volume-title":"Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection","author":"C Collberg","year":"2009","unstructured":"Collberg, C., Nagra, J.: Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection. Addison-Wesley, Boston (2009)"},{"doi-asserted-by":"crossref","unstructured":"Dalla Preda, M., Christodorescu, M., Jha, S., Debray, S.: A Semantics-based Approach to Malware Detection. ACM TOPLAS, 30 (2008)","key":"8_CR7","DOI":"10.1145\/1387673.1387674"},{"unstructured":"Einarsson, A., Nielsen, J.D.: A Survivor\u2019s Guide to Java Program Analysis with Soot. Technical report (2008)","key":"8_CR8"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-23702-7_10","volume-title":"Static Analysis","author":"A Flexeder","year":"2011","unstructured":"Flexeder, A., Petter, M., Seidl, H.: Side-effect analysis of assembly code. In: Yahav, E. (ed.) Static Analysis. LNCS, vol. 6887, pp. 77\u201394. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Jones, N.D., Mastroeni, I.: Obfuscation by partial evaluation of distorted interpreters. In: PEPM, pp. 63\u201372. ACM (2012)","key":"8_CR10","DOI":"10.1145\/2103746.2103761"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-24851-4_5","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"M Hirzel","year":"2004","unstructured":"Hirzel, M., Diwan, A., Hind, M.: Pointer analysis in the presence of dynamic class loading. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 96\u2013122. Springer, Heidelberg (2004)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11575467_11","volume-title":"Programming Languages and Systems","author":"B Livshits","year":"2005","unstructured":"Livshits, B., Whaley, J., Lam, M.S.: Reflection analysis for Java. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 139\u2013160. Springer, Heidelberg (2005)"},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"TJ McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Softw. Eng. 2(4), 308\u2013320 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"National Institute of Standards and Technology. Vulnerability Summary for CVE-2013-3346 (2013)","key":"8_CR14"},{"unstructured":"OWASP. Metasploit Java Exploit Code Obfuscation and Antivirus Bypass\/Evasion (CVE-2012-4681) (2013)","key":"8_CR15"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-45429-2_22","volume-title":"Metalevel Architectures and Separation of Crosscutting Concerns","author":"J-G Park","year":"2001","unstructured":"Park, J.-G., Lee, A.H.: Removing reflection from Java Programs using partial evaluation. In: Matsuoka, S. (ed.) Reflection 2001. LNCS, vol. 2192, pp. 274\u2013275. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Schlumberger, J., Kruegel, C., Vigna, G.: Jarhead: analysis and detection of malicious Java applets. In: ACSAC, pp. 249\u2013257. ACM (2012)","key":"8_CR17","DOI":"10.1145\/2420950.2420988"},{"doi-asserted-by":"crossref","unstructured":"Shali, A., Cook, W.R.: Hybrid partial evaluation. In: OOPSLA, pp. 375\u2013390. ACM (2011)","key":"8_CR18","DOI":"10.1145\/2076021.2048098"},{"unstructured":"Sistemas, H.: VirusTotal Analyses Suspicious Files and URLs (2014). https:\/\/www.virustotal.com\/","key":"8_CR19"},{"unstructured":"Valle\u00e9 Rai, R., Hendren, L.J.: Jimple: Simplifying Java Bytecode for Analyses and Transformations. Technical report TR-1998-4. McGill University (1998)","key":"8_CR20"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17822-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T08:13:25Z","timestamp":1676016805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17822-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319178219","9783319178226"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17822-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}