{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:36Z","timestamp":1750306056123,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,2]],"date-time":"2017-04-02T00:00:00Z","timestamp":1491091200000},"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":[[2017,4,2]]},"DOI":"10.1145\/3052973.3055157","type":"proceedings-article","created":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T12:22:54Z","timestamp":1490962974000},"page":"902-904","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["How Discover a Malware using Model Checking"],"prefix":"10.1145","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[{"name":"IIT-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[{"name":"IIT-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittoria","family":"Nardone","sequence":"additional","affiliation":[{"name":"University of Sannio, Benevento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[{"name":"University of Sannio, Benevento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"212","volume-title":"Ransomware steals your phone. formal methods rescue it,\" in International Conference on Formal Techniques for Distributed Objects, Components, and Systems","author":"Mercaldo F.","year":"2016","unstructured":"F. Mercaldo , V. Nardone , A. Santone , and C. A. Visaggio , \" Ransomware steals your phone. formal methods rescue it,\" in International Conference on Formal Techniques for Distributed Objects, Components, and Systems , pp. 212 -- 221 , Springer , 2016 . F. Mercaldo, V. Nardone, A. Santone, and C. A. Visaggio, \"Ransomware steals your phone. formal methods rescue it,\" in International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 212--221, Springer, 2016."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484313.2484355"},{"key":"e_1_3_2_1_3_1","volume-title":"Communication and concurrency. PHI Series in computer science","author":"Milner R.","year":"1989","unstructured":"R. Milner , Communication and concurrency. PHI Series in computer science , Prentice Hall , 1989 . R. Milner, Communication and concurrency. PHI Series in computer science, Prentice Hall, 1989."},{"key":"e_1_3_2_1_4_1","first-page":"2","volume-title":"Language, And Architecture","author":"Stirling C.","year":"1989","unstructured":"C. Stirling , \"An introduction to modal and temporal logics for ccs,\" in Concurrency : Theory , Language, And Architecture (A. Yonezawa and T. Ito, eds.), LNCS, pp. 2 -- 20 , Springer , 1989 . C. Stirling, \"An introduction to modal and temporal logics for ccs,\" in Concurrency: Theory, Language, And Architecture (A. Yonezawa and T. Ito, eds.), LNCS, pp. 2--20, Springer, 1989."},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","volume-title":"The ncsu concurrency workbench,\" in CAV","author":"Cleaveland R.","year":"1996","unstructured":"R. Cleaveland and S. Sims , \" The ncsu concurrency workbench,\" in CAV (R. Alur and T. A. Henzinger, eds.), vol. 1102 of Lecture Notes in Computer Science , Springer , 1996 . R. Cleaveland and S. Sims, \"The ncsu concurrency workbench,\" in CAV (R. Alur and T. A. Henzinger, eds.), vol. 1102 of Lecture Notes in Computer Science, Springer, 1996."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556464.2556467"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.07.106"},{"key":"e_1_3_2_1_8_1","unstructured":"Y. Feng S. Anand I. Dillig and A. Aiken \"Apposcopy: Semantics-based detection of android malware through static analysis.\"  Y. Feng S. Anand I. Dillig and A. Aiken \"Apposcopy: Semantics-based detection of android malware through static analysis.\""},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2016.04.009"},{"key":"e_1_3_2_1_10_1","first-page":"79","volume-title":"Droidclone: Detecting android malware variants by exposing code clones,\" in 2016 Sixth International Conference on Digital Information and Communication Technology and its Applications (DICTAP)","author":"Alam S.","year":"2016","unstructured":"S. Alam , R. Riley , I. Sogukpinar , and N. Carkaci , \" Droidclone: Detecting android malware variants by exposing code clones,\" in 2016 Sixth International Conference on Digital Information and Communication Technology and its Applications (DICTAP) , pp. 79 -- 84 , July 2016 . S. Alam, R. Riley, I. Sogukpinar, and N. Carkaci, \"Droidclone: Detecting android malware variants by exposing code clones,\" in 2016 Sixth International Conference on Digital Information and Communication Technology and its Applications (DICTAP), pp. 79--84, July 2016."},{"key":"e_1_3_2_1_11_1","volume-title":"IEEE","author":"Arp D.","year":"2014","unstructured":"D. Arp , M. Spreitzenbarth , M. Huebner , H. Gascon , and K. Rieck , \" Drebin: Efficient and explainable detection of android malware in your pocket,\" in Proceedings of 21th NDSS , IEEE , 2014 . D. Arp, M. Spreitzenbarth, M. Huebner, H. Gascon, and K. Rieck, \"Drebin: Efficient and explainable detection of android malware in your pocket,\" in Proceedings of 21th NDSS, IEEE, 2014."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37300-8_5"}],"event":{"name":"ASIA CCS '17: ACM Asia Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Abu Dhabi United Arab Emirates","acronym":"ASIA CCS '17"},"container-title":["Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3055157","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3052973.3055157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:35Z","timestamp":1750215815000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3055157"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,2]]},"references-count":12,"alternative-id":["10.1145\/3052973.3055157","10.1145\/3052973"],"URL":"https:\/\/doi.org\/10.1145\/3052973.3055157","relation":{},"subject":[],"published":{"date-parts":[[2017,4,2]]},"assertion":[{"value":"2017-04-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}