{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:06:16Z","timestamp":1781107576841,"version":"3.54.1"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319944777","type":"print"},{"value":"9783319944784","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-94478-4_6","type":"book-chapter","created":{"date-parts":[[2018,6,21]],"date-time":"2018-06-21T10:27:12Z","timestamp":1529576832000},"page":"75-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":97,"title":["Smart Contract Programming Languages on Blockchains: An Empirical Evaluation of Usability and Security"],"prefix":"10.1007","author":[{"given":"Reza M.","family":"Parizi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Amritraj","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Dehghantanha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,22]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Peck, M.E.: Blockchains: how they work and why they\u2019ll change the world. IEEE spectrum (2017)","DOI":"10.1109\/MSPEC.2017.8048836"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Cuccuru, P.: Beyond bitcoin: An early overview on smart contracts. Int. J. Law Inf. Technol. 25, 179\u2013195 (2017)","DOI":"10.1093\/ijlit\/eax003"},{"key":"6_CR3","unstructured":"Solidity. https:\/\/solidity.readthedocs.io\/en\/develop\/"},{"key":"6_CR4","unstructured":"Sirer, E.G.: Thoughts on The DAO Hack. http:\/\/hackingdistributed.com\/2016\/06\/17\/thoughts-on-the-dao-hack\/"},{"key":"6_CR5","unstructured":"Hern, A.: \u201c$300\u00a0M in Cryptocurrency\u201d Accidentally Lost Forever Due To Bug. https:\/\/www.theguardian.com\/technology\/2017\/nov\/08\/cryptocurrency-300m-dollars-stolen-bug-ether"},{"key":"6_CR6","unstructured":"Ethereum Project. https:\/\/www.ethereum.org\/"},{"key":"6_CR7","unstructured":"Design Rationale. https:\/\/github.com\/ethereum\/wiki\/wiki\/Design-Rationale"},{"key":"6_CR8","unstructured":"Popejoy, S.: The pact smart-contract language (v1.5), pp. 1\u201315 (2017)"},{"key":"6_CR9","unstructured":"Kadena. http:\/\/kadena.io\/#\/"},{"key":"6_CR10","unstructured":"Liquidity, a simple language over Michelson. https:\/\/github.com\/OCamlPro\/liquidity\/blob\/master\/docs\/liquidity.md"},{"key":"6_CR11","unstructured":"Tezos. https:\/\/www.tezos.com\/"},{"key":"6_CR12","unstructured":"OCaml Documentation. https:\/\/ocaml.org\/docs\/"},{"key":"6_CR13","unstructured":"Ii, S.: Michelson\u202f: the language of Smart Contracts in I - Semantics"},{"key":"6_CR14","unstructured":"Liquidity Online Editor. http:\/\/www.liquidity-lang.org\/edit\/"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Kitchenham, B.A., Pfleeger, S.L., Pickard, L.M., Jones, P.W., Hoaglin, D.C., El Emam, K., Rosenberg, J.: Preliminary guidelines for empirical research in software engineering. IEEE Trans. Softw. Eng. 28, 721\u2013734 (2002)","DOI":"10.1109\/TSE.2002.1027796"},{"key":"6_CR16","unstructured":"Guimaraes, G.: Reentrancy attack on smart contracts: how to identify the exploitable and an example of an attack contract. https:\/\/medium.com\/@gus_tavo_guim\/reentrancy-attack-on-smart-contracts-how-to-identify-the-exploitable-and-an-example-of-an-attack-4470a2d8dfe4"},{"key":"6_CR17","unstructured":"Martinsson, F.: Smart contract programming on Ethereum - solidity beginners tutorial part 2. https:\/\/www.youtube.com\/watch?v=F4XQFEievJI"},{"key":"6_CR18","unstructured":"Konstantopoulos, G.: How to secure your smart contracts: 6 solidity vulnerabilities and how to avoid them (Part 2). https:\/\/medium.com\/loom-network\/how-to-secure-your-smart-contracts-6-solidity-vulnerabilities-and-how-to-avoid-them-part-2-730db0aa4834"},{"key":"6_CR19","unstructured":"Oyente. https:\/\/oyente.melon.fund\/#version=soljson-v0.4.21+commit.dfe3193c.js"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.-H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of 2016 ACM SIGSAC Conference on Computer and Communications Security \u2013 CCS 2016, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"6_CR21","unstructured":"Smart Contracts - Best practices (Known attacks). https:\/\/github.com\/ConsenSys\/smart-contract-best-practices\/blob\/master\/docs\/known_attacks.md"},{"key":"6_CR22","unstructured":"Remix. http:\/\/remix.ethereum.org\/#optimize=false&version=soljson-v0.4.21+commit.dfe3193c.js"},{"key":"6_CR23","unstructured":"Try Pact. http:\/\/kadena.io\/try-pact\/"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Omohundro, S.: Cryptocurrencies, smart contracts, and artificial intelligence. AI Matters 1, 19\u201321 (2014)","DOI":"10.1145\/2685328.2685334"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts (SoK), pp. 1\u201324 (2017)","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"6_CR26","unstructured":"Macdonald, M., Liu-Thorrold, L., Julien, R.: The blockchain: a comparison of platforms and their uses beyond bitcoin. Work. Pap., pp. 1\u201318 (2017)"},{"key":"6_CR27","unstructured":"Hyperledger. https:\/\/www.hyperledger.org\/"},{"key":"6_CR28","unstructured":"Intel: Intel: Sawtooth Lake. https:\/\/intelledger.github.io\/"},{"key":"6_CR29","unstructured":"BlockStream Sidechain Elements. https:\/\/blockstream.com\/technology\/"},{"key":"6_CR30","unstructured":"Documentation for Eris. https:\/\/abal.moe\/Eris\/docs"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns (2017)","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"6_CR32","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system, p. 9 (2008). www.Bitcoin.Org"},{"key":"6_CR33","unstructured":"Buterin, V.: A next-generation smart contract and decentralized application platform. http:\/\/buyxpr.com\/build\/pdfs\/EthereumWhitePaper.pdf"},{"key":"6_CR34","unstructured":"Counterparty: Protocol Specification. https:\/\/counterparty.io\/docs\/protocol_specification\/"},{"key":"6_CR35","unstructured":"Stellar. https:\/\/www.stellar.org\/"},{"key":"6_CR36","unstructured":"Monax. https:\/\/monax.io\/"},{"key":"6_CR37","unstructured":"Lisk. https:\/\/lisk.io\/"},{"key":"6_CR38","unstructured":"Anderson, L., Holz, R., Ponomarev, A., Rimba, P., Weber, I.: New kids on the block: an analysis of modern blockchains (2016)"},{"key":"6_CR39","unstructured":"Seijas, P.L., Thompson, S., McAdams, D.: Scripting smart contracts for distributed ledger technology. Cryptology ePrint Archive, Report 2016\/1156 (2016). http:\/\/eprint.iacr.org\/2016\/1156"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Swamy, N., Zanella-B\u00e9guelin, S., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T.: Formal verification of smart contracts. In: Proceedings of 2016 ACM Workshop on Programming Languages and Analysis for Security \u2013 PLAS 2016, pp. 91\u201396 (2016)","DOI":"10.1145\/2993600.2993611"}],"container-title":["Lecture Notes in Computer Science","Blockchain \u2013 ICBC 2018"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94478-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T00:03:57Z","timestamp":1655769837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-94478-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944777","9783319944784"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94478-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"22 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICBC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Blockchain","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seattle, WA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icbc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/blockchain1000.org\/2018\/","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":"www.confhub.com","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36","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":"16","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":"7","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":"44% - 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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}