{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:31:58Z","timestamp":1725870718345},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491448"},{"type":"electronic","value":"9783319491455"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49145-5_9","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T03:52:57Z","timestamp":1478663577000},"page":"85-94","source":"Crossref","is-referenced-by-count":0,"title":["AppWalker: Efficient and Accurate Dynamic Analysis of Apps via Concolic Walking Along the Event-Dependency Graph"],"prefix":"10.1007","author":[{"given":"Tianjun","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuexiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2666356.2594299","volume":"49","author":"S Arzt","year":"2014","unstructured":"Arzt, S., Rasthofer, S., Fritz, C.: FlowDroid. ACM Sigplan Not. 49(6), 259\u2013269 (2014)","journal-title":"ACM Sigplan Not."},{"key":"9_CR2","first-page":"317","volume":"7","author":"EJ Schwartz","year":"2010","unstructured":"Schwartz, E.J., Avgerinos, T., Brumley, D.: All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask). IEEE Symp. Secur. Priv. 7, 317\u2013331 (2010)","journal-title":"IEEE Symp. Secur. Priv."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Anand, S., Naik, M., Harrold, M.J.: Automated concolic testing of smartphone apps. In: International Symposium on the Foundations of Software Engineering, pp. 1\u201311 (2012)","DOI":"10.1145\/2393596.2393666"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Yang, Z., Yang, M., Zhang, Y.: AppIntent: analyzing sensitive data transmission in android for privacy leakage detection. In: ACM Sigsac Conference on Computer & Communications Security, pp. 1043\u20131054 (2013)","DOI":"10.1145\/2508859.2516676"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Dinges, P., Agha, G.: Solving complex path conditions through heuristic search on induced polytopes. In: ACM Sigsoft International Symposium, pp. 425\u2013436 (2014)","DOI":"10.1145\/2635868.2635889"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Schutte, J., Fedler, R., Titze, D.: ConDroid: targeted dynamic analysis of android applications. In: IEEE Conference on Advanced Information Networking and Applications, pp. 571\u2013578 (2015)","DOI":"10.1109\/AINA.2015.238"},{"key":"9_CR7","unstructured":"Wong, M.Y.Y.: Targeted dynamic analysis for android malware. Dissertations & Theses Gradworks (2015)"},{"issue":"11","key":"9_CR8","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/CC.2013.6674209","volume":"10","author":"J He","year":"2013","unstructured":"He, J., Yang, Y.X., Qiao, Y.: Accurate classification of P2P traffic by clustering flows. China Commun. 10(11), 42\u201351 (2013)","journal-title":"China Commun."},{"issue":"12","key":"9_CR9","doi-asserted-by":"crossref","first-page":"3328","DOI":"10.1109\/TPDS.2014.7","volume":"25","author":"ZN Zhang","year":"2014","unstructured":"Zhang, Z.N., Li, D.S., Wu, K.: VMThunder: fast provisioning of large-scale virtual machine clusters. IEEE Trans. Parallel Distrib. Syst. 25(12), 3328\u20133338 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"9_CR10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s11704-015-4420-7","volume":"10","author":"ZN Zhang","year":"2016","unstructured":"Zhang, Z.N., Li, D.S., Wu, K.: Large-scale virtual machines provisioning in clouds: challenges and approaches. Front. Comput. Sci. 10(1), 2\u201318 (2016)","journal-title":"Front. Comput. Sci."},{"key":"9_CR11","unstructured":"Svajcer, V.: Sophos mobile security threat report. http:\/\/www.sophos.com\/en-us\/medialibrary\/PDFs\/other\/sophos-mobile-security-threat-report.pdf"},{"key":"9_CR12","unstructured":"Ali: mobile vulnerability annual report (2015). http:\/\/jaq.alibaba.com\/community\/index"},{"key":"9_CR13","doi-asserted-by":"crossref","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: USENIX Conference on Operating Systems Design and Implementation, pp. 1\u20136 (2010)","DOI":"10.1145\/2619091"},{"key":"9_CR14","unstructured":"Shauvik, R.C., Alessandra, G., Alessandro, O.: Automated test input generation for android: are we there yet? In: International Conference on Automated Software Engineering, pp. 44\u201352 (2015)"}],"container-title":["Lecture Notes in Computer Science","Security, Privacy and Anonymity in Computation, Communication and Storage"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49145-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T18:33:01Z","timestamp":1657650781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49145-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491448","9783319491455"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49145-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}