{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:17:45Z","timestamp":1757542665308,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030996185"},{"type":"electronic","value":"9783030996192"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-99619-2_24","type":"book-chapter","created":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T05:19:48Z","timestamp":1648617588000},"page":"245-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Inter-procedural Security Requirements in IoT Applications"],"prefix":"10.1007","author":[{"given":"Mattia","family":"Paccamiccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mostarda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,31]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Sekaran, R., Patan, R., Raveendran, A., Al-Turjman, F., Ramachandran, M., Mostarda, L.: Survival study on blockchain based 6G-enabled mobile edge computation for IoT automation, IEEE Access 8, 143453\u2013143463 (2020)","DOI":"10.1109\/ACCESS.2020.3013946"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2500000014","volume":"2","author":"S Yannis","year":"2015","unstructured":"Yannis, S., George, B.: Pointer analysis. Found. Trends Program. Lang. 2(1), 1\u201369 (2015)","journal-title":"Found. Trends Program. Lang."},{"key":"24_CR3","unstructured":"Lattner, C.: LLVM: an infrastructure for multi-stage optimization, Master\u2019s thesis, Computer Science Dept., University of Illinois at Urbana-Champaign, Urbana, IL, December 2002"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Vannucchi, C., et al.: Symbolic verification of event-condition-action rules in intelligent environments. J. Reliab. Intell. Environ. 3(2), 117\u2013130 (2017)","DOI":"10.1007\/s40860-017-0036-z"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Stephens, N., et al.: Driller: augmenting fuzzing through selective symbolic execution (2016)","DOI":"10.14722\/ndss.2016.23368"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-23702-7_11","volume-title":"Static Analysis","author":"K-K Ma","year":"2011","unstructured":"Ma, K.-K., Yit Phang, K., Foster, J.S., Hicks, M.: Directed symbolic execution. In: Yahav, E. (ed.) SAS 2011. LNCS, vol. 6887, pp. 95\u2013111. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23702-7_11"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Basile, C., Canavese, D., d\u2019Annoville, J., Sutter, B.D., Valenza, F.: Automatic discovery of software attacks via backward reasoning. In: Falcarin, P., Wyseur, B. (eds.) 1st IEEE\/ACM International Workshop on Software Protection, SPRO 2015, pp. 52\u201358. IEEE Computer Society (2015)","DOI":"10.1109\/SPRO.2015.17"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Avgerinos, T., Rebert, A., Cha, S.K., Brumley, D.: Enhancing symbolic execution with veritesting. In: Jalote, P., Briand, L.C., van\u00a0der Hoek, A. (eds.) 36th International Conference on Software Engineering, ICSE 2014, pp. 1083\u20131094. ACM (2014)","DOI":"10.1145\/2568225.2568293"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Ferrante, J., McKinley, K.S. (eds.) Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pp. 89\u2013100. ACM (2007)","DOI":"10.1145\/1273442.1250746"},{"key":"24_CR10","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Draves, R., van Renesse, R. (eds.) 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, pp. 209\u2013224. USENIX Association (2008)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Shoshitaishvili, Y., et al.: SOK: (state of) the art of war: offensive techniques in binary analysis (2016)","DOI":"10.1109\/SP.2016.17"},{"key":"24_CR12","unstructured":"Flores-Montoya, A., Schulte, E.M.: Datalog disassembly. CoRR abs\/1906.03969 (2019)"},{"key":"24_CR13","doi-asserted-by":"publisher","unstructured":"Balatsouras, G., Smaragdakis, Y.: Structure-sensitive points-to analysis for C and C++. In: Rival, X. (eds.) SAS 2016. LNCS, vol. 9837, pp. 84\u2013104. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53413-7_5","DOI":"10.1007\/978-3-662-53413-7_5"},{"key":"24_CR14","unstructured":"K\u0159oustek, J., Matula, P., Zemek, P.: RetDec: an open-source machine-code decompiler, [talk], presented at Botconf 2017, Montpellier, FR, December 2017"},{"key":"24_CR15","unstructured":"Sousa, D.G., Dias, R.J., Ferreira, C., Louren\u00e7o, J.: Preventing atomicity violations with contracts. CoRR abs\/1505.02951 (2015)"}],"container-title":["Lecture Notes in Networks and Systems","Advanced Information Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-99619-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:11:26Z","timestamp":1648620686000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-99619-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030996185","9783030996192"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-99619-2_24","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"31 March 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sydney, NSW","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 April 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 April 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}