{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:07:21Z","timestamp":1749017241574,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031171956"},{"type":"electronic","value":"9783031171963"}],"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-031-17196-3_8","type":"book-chapter","created":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T22:03:09Z","timestamp":1663884189000},"page":"143-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Tainting in\u00a0Smart Contracts: Combining Static and\u00a0Runtime Verification"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2165-3698","authenticated-orcid":false,"given":"Shaun","family":"Azzopardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4796-5665","authenticated-orcid":false,"given":"Joshua","family":"Ellul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7513-3658","authenticated-orcid":false,"given":"Ryan","family":"Falzon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0743-6272","authenticated-orcid":false,"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,23]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Bubel, R.: Functional verification of smart contracts via strong data integrity. In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, 20\u201330 October 2020, Rhodes, Greece, Proceedings, Part III. Lecture Notes in Computer Science, vol. 12478, pp. 9\u201324. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_2","DOI":"10.1007\/978-3-030-61467-6_2"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Chimento, J.M., Pace, G.J., Schneider, G.: A specification language for static and runtime verification of data and control properties. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015: Formal Methods, pp. 108\u2013125. Springer International Publishing, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19249-9_8","DOI":"10.1007\/978-3-319-19249-9_8"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Colombo, C., Pace, G.: CLARVA: model-based residual verification of java programs. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, 25\u201327 February 2020 (2020). https:\/\/doi.org\/10.5220\/0008966603520359","DOI":"10.5220\/0008966603520359"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Colombo, C., Pace, G.J.: Control-flow residual analysis for symbolic automata. In: Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS, vol. 254, pp. 29\u201343 (2017). https:\/\/doi.org\/10.4204\/EPTCS.254.3","DOI":"10.4204\/EPTCS.254.3"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Colombo, C., Pace, G.J.: Model-based static and runtime verification for ethereum smart contracts. In: Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, 25\u201327 February 2020, Valletta, Malta, Revised Selected Papers. Communications in Computer and Information Science, vol. 1361, pp. 323\u2013348. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-67445-8_14","DOI":"10.1007\/978-3-030-67445-8_14"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Colombo, C., Pace, G.J.: A technique for automata-based verification with residual reasoning. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, 25\u201327 February 2020, Valletta, Malta, pp. 237\u2013248. SCITEPRESS (2020). https:\/\/doi.org\/10.5220\/0008981902370248","DOI":"10.5220\/0008981902370248"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Azzopardi, S., Ellul, J., Pace, G.J.: Monitoring smart contracts: Contractlarva and open challenges beyond. In: Runtime Verification - 18th International Conference, RV 2018, 10\u201313 November 2018, Limassol, Cyprus, Proceedings. Lecture Notes in Computer Science, vol. 11237, pp. 113\u2013137. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_8","DOI":"10.1007\/978-3-030-03769-7_8"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Chimento, J.M., Ahrendt, W., Pace, G.J., Schneider, G.: StaRVOOrS: a tool for combined static and runtime verification of java. In: Runtime Verification, pp. 297\u2013305. Springer International Publishing, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_21","DOI":"10.1007\/978-3-319-23820-3_21"},{"key":"8_CR9","unstructured":"Ethereum: Solidity. Online Documentation (2016). http:\/\/solidity.readthedocs.io\/en\/develop\/introduction-to-smart-contracts.html"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Feist, J., Greico, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 8\u201315. WETSEB 2019. IEEE Press (2019). https:\/\/doi.org\/10.1109\/WETSEB.2019.00008","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Jakobs, M.C., Mantel, H.: A unifying framework for dynamic monitoring and a taxonomy of optimizations. In: Leveraging Applications of Formal Methods. Verification and Validation: Engineering Principles, pp. 72\u201392. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_6","DOI":"10.1007\/978-3-030-61470-6_6"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Kim, J., Kim, T., Im, E.G.: Survey of dynamic taint analysis. In: 2014 4th IEEE International Conference on Network Infrastructure and Digital Content, pp. 269\u2013272 (2014). https:\/\/doi.org\/10.1109\/ICNIDC.2014.7000307","DOI":"10.1109\/ICNIDC.2014.7000307"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Kurniawan, A., Abbas, B.S., Trisetyarso, A., Isa, S.M.: Static taint analysis traversal with object oriented component for web file injection vulnerability pattern detection. Procedia Comput. Sci. 135, 596\u2013605 (2018). https:\/\/doi.org\/10.1016\/j.procs.2018.08.227, the 3rd International Conference on Computer Science and Computational Intelligence (ICCSCI 2018): Empowering Smart Technology in Digital Era for a Better Life","DOI":"10.1016\/j.procs.2018.08.227"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Mumtaz, H., El-Alfy, E.S.M.: Critical review of static taint analysis of android applications for detecting information leakages. In: 2017 8th International Conference on Information Technology (ICIT), pp. 446\u2013454 (2017). https:\/\/doi.org\/10.1109\/ICITECH.2017.8080041","DOI":"10.1109\/ICITECH.2017.8080041"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Tolmach, P., Li, Y., Lin, S.W., Liu, Y., Li, Z.: A survey of smart contract formal specification and verification. ACM Comput. Surv. 54(7) (2021). https:\/\/doi.org\/10.1145\/3464421","DOI":"10.1145\/3464421"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.: Taj: effective taint analysis of web applications. In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 87\u201397. PLDI 2009. Association for Computing Machinery, New York, NY, USA (2009). https:\/\/doi.org\/10.1145\/1542476.1542486","DOI":"10.1145\/1542476.1542486"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Xue, Y., Ma, M., Lin, Y., Sui, Y., Ye, J., Peng, T.: Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, pp. 1029\u20131040. ASE 2020. Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3324884.3416553, http:\/\/doi.org\/10.1145\/3324884.3416553","DOI":"10.1145\/3324884.3416553"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17196-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,4]],"date-time":"2023-01-04T14:04:55Z","timestamp":1672841095000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17196-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031171956","9783031171963"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17196-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"23 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilsi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","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":"28 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv22.gitlab.io","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}