{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:18Z","timestamp":1775873658189,"version":"3.50.1"},"publisher-location":"Singapore","reference-count":25,"publisher":"Springer Singapore","isbn-type":[{"value":"9789811399411","type":"print"},{"value":"9789811399428","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-9942-8_32","type":"book-chapter","created":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T03:03:25Z","timestamp":1563419005000},"page":"333-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Runtime Verification and Vulnerability Testing of Smart Contracts"],"prefix":"10.1007","author":[{"given":"Misha","family":"Abraham","sequence":"first","affiliation":[]},{"given":"K. P.","family":"Jevitha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,19]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Zheng, Z., et al.: An overview of blockchain technology: architecture, consensus, and future trends. In: 2017 IEEE International Congress on Big Data (BigData Congress). IEEE (2017)","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"32_CR2","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)"},{"key":"32_CR3","unstructured":"K Framework - An Overview. https:\/\/runtimeverification.com\/blog\/k-framework-an-overview\/ . Accessed 22 Sept 2018"},{"key":"32_CR4","unstructured":"Rosu, G.: ERC20-K: Formal Executable Specification of ERC20. https:\/\/runtimeverification.com\/blog\/erc20-k-formal-executable-specification-of-erc20\/ . Accessed 21 Sept 2018"},{"key":"32_CR5","unstructured":"Formal verification of ERC-20 contracts. https:\/\/runtimeverification.com\/blog\/erc-20-verification\/ . Accessed 21 Sept 2018"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"How Formal Verification of Smart Contracts Works. https:\/\/runtimeverification.com\/blog\/how-formal-verification-of-smart-contracts-works\/ . Accessed 21 Sept 2018","DOI":"10.1109\/Blockchain.2019.00081"},{"key":"32_CR7","first-page":"2965","volume":"118","author":"P Sajana","year":"2018","unstructured":"Sajana, P., Sindhu, M., Sethumadhavan, M.: On blockchain applications: hyperledger fabric and ethereum. Int. J. Pure Appl. Math. 118, 2965\u20132970 (2018)","journal-title":"Int. J. Pure Appl. Math."},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Alharby, M., van Moorsel, A.: Blockchain-based smart contracts: a systematic mapping study. arXiv preprint arXiv:1710.06372 (2017)","DOI":"10.5121\/csit.2017.71011"},{"key":"32_CR9","unstructured":"https:\/\/theethereum.wiki\/w\/index.php\/ERC20TokenStandard . Accessed 22 Aug 2018"},{"key":"32_CR10","unstructured":"https:\/\/runtimeverification.com\/blog\/k-framework-an-overview\/ . Accessed 1 Aug 2018"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume-title":"Principles of Security and Trust","author":"N Atzei","year":"2017","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 164\u2013186. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"key":"32_CR12","unstructured":"Egbertsen, W., et al.: Replacing paper contracts with Ethereum smart contracts (2016)"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Kosba, A., et al.: Hawk: the blockchain model of cryptography and privacy-preserving smart contracts. In: 2016 IEEE Symposium on Security and Privacy (SP). IEEE (2016)","DOI":"10.1109\/SP.2016.55"},{"key":"32_CR14","unstructured":"del Castillo, M.: The dao attacked: code issue leads to $60 million ether theft. Saatavissa (viitattu 13.2.2017). http:\/\/www.coindesk.com\/dao-attacked-code-issue-leads-60-million-ether-theft . Accessed 15 Sept 2018"},{"key":"32_CR15","unstructured":"Reentrancy Woes in Smart Contracts. http:\/\/hackingdistributed.com\/2016\/07\/13\/reentrancy-woes\/ . Accessed 22 Aug 2018"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Luu, L., et al.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. ACM (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Kalra, S., et al.: ZEUS: analyzing safety of smart contracts. In: NDSS (2018)","DOI":"10.14722\/ndss.2018.23082"},{"key":"32_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-662-53357-4_6","volume-title":"Financial Cryptography and Data Security","author":"K Delmolino","year":"2016","unstructured":"Delmolino, K., Arnett, M., Kosba, A., Miller, A., Shi, E.: Step by step towards creating a safe smart contract: lessons and insights from a cryptocurrency lab. In: Clark, J., Meiklejohn, S., Ryan, P.Y.A., Wallach, D., Brenner, M., Rohloff, K. (eds.) FC 2016. LNCS, vol. 9604, pp. 79\u201394. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53357-4_6"},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"Hildenbrandt, E., et al.: KEVM: a complete semantics of the ethereum virtual machine (2017)","DOI":"10.1109\/CSF.2018.00022"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security. ACM (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Nikolic, I., et al.: Finding the greedy, prodigal, and suicidal contracts at scale. arXiv preprint arXiv:1802.06038 (2018)","DOI":"10.1145\/3274694.3274743"},{"key":"32_CR22","unstructured":"https:\/\/remix.ethereum.org . Accessed 13 Sept 2018"},{"key":"32_CR23","unstructured":"https:\/\/github.com\/smartdec\/smartcheck\/tree\/master\/src\/test\/resources\/rules . Accessed 07 Aug 2018"},{"key":"32_CR24","unstructured":"https:\/\/github.com\/eth-sri\/securify\/tree\/master\/src\/test\/resources\/solidity . Accessed 07 Aug 2018"},{"key":"32_CR25","unstructured":"https:\/\/github.com\/trailofbits\/not-so-smart-contracts . Accessed 07 Aug 2018"}],"container-title":["Communications in Computer and Information Science","Advances in Computing and Data Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-9942-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T23:51:30Z","timestamp":1663977090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-9942-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811399411","9789811399428"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-9942-8_32","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"19 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICACDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advances in Computing and Data Sciences","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ghazibad","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icacds0a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icacds.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"621","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":"112","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":"0","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":"18% - 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":"-","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)"}}]}}