{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:14:06Z","timestamp":1742933646077,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030437244"},{"type":"electronic","value":"9783030437251"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-43725-1_8","type":"book-chapter","created":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T19:04:35Z","timestamp":1584039875000},"page":"91-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["SoK: Development of Secure Smart Contracts \u2013 Lessons from a Graduate Course"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4217-4530","authenticated-orcid":false,"given":"Monika","family":"di Angelo","sequence":"first","affiliation":[]},{"given":"Christian","family":"Sack","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8950-1551","authenticated-orcid":false,"given":"Gernot","family":"Salzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"8_CR1","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). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-70278-0_31","volume-title":"Financial Cryptography and Data Security","author":"M Bartoletti","year":"2017","unstructured":"Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 494\u2013509. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-70278-0_31"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-319-70278-0_28","volume-title":"Financial Cryptography and Data Security","author":"A Biryukov","year":"2017","unstructured":"Biryukov, A., Khovratovich, D., Tikhomirov, S.: Findel: secure derivative contracts for ethereum. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 453\u2013467. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-70278-0_28"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Bonneau, J., Miller, A., Clark, J., Narayanan, A., Kroll, J.A., Felten, E.W.: SoK: research perspectives and challenges for bitcoin and cryptocurrencies. In: IEEE Symposium on Security and Privacy (SP 2015), pp. 104\u2013121. IEEE Computer Society (2015). \nhttps:\/\/doi.org\/10.1109\/SP.2015.14","DOI":"10.1109\/SP.2015.14"},{"key":"8_CR5","unstructured":"Bragagnolo, S., Rocha, H., Denker, M., Ducasse, S.: SmartInspect: smart contract inspection Technical report. Ph.D. thesis, Inria Lille (2017). \nhttps:\/\/hal.inria.fr\/hal-01671196\/document"},{"key":"8_CR6","unstructured":"Dapper Labs Inc: CryptoKitties. \nhttps:\/\/www.cryptokitties.co\n\n. Accessed 07 Aug 2018"},{"key":"8_CR7","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). \nhttps:\/\/doi.org\/10.1007\/978-3-662-53357-4_6"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Destefanis, G., Marchesi, M., Ortu, M., Tonelli, R., Bracciali, A., Hierons, R.M.: Smart contracts vulnerabilities: a call for blockchain software engineering? In: 2018 International Workshop on Blockchain Oriented Software Engineering, pp. 19\u201325. IEEE Computer Society (2018). \nhttps:\/\/doi.org\/10.1109\/IWBOSE.2018.8327567","DOI":"10.1109\/IWBOSE.2018.8327567"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Dickerson, T., Gazzillo, P., Herlihy, M., Koskinen, E.: Adding concurrency to smart contracts. In: ACM Symposium on Principles of Distributed Computing (PODC 2017), pp. 303\u2013312. ACM, New York (2017). \nhttps:\/\/doi.org\/10.1145\/3087801.3087835","DOI":"10.1145\/3087801.3087835"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-67262-5_1","volume-title":"Service-Oriented and Cloud Computing","author":"J Eberhardt","year":"2017","unstructured":"Eberhardt, J., Tai, S.: On or off the blockchain? Insights on off-chaining computation and data. In: De Paoli, F., Schulte, S., Broch Johnsen, E. (eds.) ESOCC 2017. LNCS, vol. 10465, pp. 3\u201315. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-67262-5_1"},{"key":"8_CR11","unstructured":"Ethereum Foundation: Go Ethereum - the Ethereum protocol implemented in Go. \nhttps:\/\/geth.ethereum.org\n\n. Accessed 11 Sept 2018"},{"key":"8_CR12","unstructured":"Ethereum Wiki: A next-generation smart contract and decentralized application platform. \nhttps:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper\n\n. Accessed 29 July 2018"},{"key":"8_CR13","unstructured":"Grincalaitis, M.: The ultimate guide to audit a smart contract and the most dangerous attacks in Solidity (2017). \nhttps:\/\/medium.com\/@merunasgrincalaitis\/how-to-audit-a-smart-contract-most-dangerous-attacks-in-solidity-ae402a7e7868\n\n. Accessed 09 Aug 2018"},{"key":"8_CR14","unstructured":"Henglein, F.: Smart contracts are neither smart nor contracts (slides) (2017). \nhttp:\/\/hjemmesider.diku.dk\/~henglein\/smart-contracts-are-neither.pdf\n\n. Accessed 09 Aug 2018"},{"key":"8_CR15","unstructured":"Loom Network: CryptoZombies. \nhttps:\/\/cryptozombies.io\n\n. Accessed 07 Aug 2018"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Luu, L., Chu, D., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Weippl, E.R., et al. (ed.) 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254\u2013269. ACM (2016). \nhttps:\/\/doi.org\/10.1145\/2976749.2978309","DOI":"10.1145\/2976749.2978309"},{"issue":"9","key":"8_CR17","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2017.3571045","volume":"50","author":"D Magazzeni","year":"2017","unstructured":"Magazzeni, D., McBurney, P., Nash, W.: Validation and verification of smart contracts: a research agenda. IEEE Comput. 50(9), 50\u201357 (2017). \nhttps:\/\/doi.org\/10.1109\/MC.2017.3571045","journal-title":"IEEE Comput."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-319-89722-6_11","volume-title":"Principles of Security and Trust","author":"A Mavridou","year":"2018","unstructured":"Mavridou, A., Laszka, A.: Tool demonstration: FSolidM for designing secure ethereum smart contracts. In: Bauer, L., K\u00fcsters, R. (eds.) POST 2018. LNCS, vol. 10804, pp. 270\u2013277. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-89722-6_11"},{"key":"8_CR19","volume-title":"Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction","author":"A Narayanan","year":"2016","unstructured":"Narayanan, A., Bonneau, J., Felten, E., Miller, A., Goldfeder, S.: Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction. Princeton University Press, Princeton (2016)"},{"key":"8_CR20","unstructured":"OpenZeppelin: Ethernaut - Solidity security challenges. \nhttps:\/\/github.com\/OpenZeppelin\/ethernaut\n\n. Accessed 07 Aug 2018"},{"key":"8_CR21","unstructured":"OpenZeppelin: Solidity contract library. \nhttps:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity\n\n. Accessed 07 Aug 2018"},{"key":"8_CR22","doi-asserted-by":"publisher","unstructured":"Porru, S., Pinna, A., Marchesi, M., Tonelli, R.: Blockchain-oriented software engineering: challenges and new directions. In: Uchitel, S., et al. (ed.) 39th International Conference on Software Engineering (ICSE 2017), pp. 169\u2013171. IEEE Computer Society (2017). \nhttps:\/\/doi.org\/10.1109\/ICSE-C.2017.142","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"8_CR23","volume-title":"Decentralized Applications: Harnessing Bitcoin\u2019s Blockchain Technology","author":"S Raval","year":"2016","unstructured":"Raval, S.: Decentralized Applications: Harnessing Bitcoin\u2019s Blockchain Technology. O\u2019Reilly Media, Newton (2016)"},{"key":"8_CR24","unstructured":"Seijas, P.L., Thompson, S.J., McAdams, D.: Scripting smart contracts for distributed ledger technology. IACR Cryptol. ePrint Archive 2016\/1156 (2016). \nhttp:\/\/eprint.iacr.org\/2016\/1156"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-319-70278-0_30","volume-title":"Financial Cryptography and Data Security","author":"I Sergey","year":"2017","unstructured":"Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 478\u2013493. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-70278-0_30"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Sreehari, P., Nandakishore, M., Krishna, G., Jacob, J., Shibu, V.S.: Smart will converting the legal testament into a smart contract. In: 2017 International Conference on Networks Advances in Computational Technologies (NetACT), pp. 203\u2013207, July 2017. \nhttps:\/\/doi.org\/10.1109\/NETACT.2017.8076767","DOI":"10.1109\/NETACT.2017.8076767"},{"issue":"9","key":"8_CR27","doi-asserted-by":"publisher","first-page":"28","DOI":"10.5210\/fm.v2i9.548","volume":"2","author":"N Szabo","year":"1997","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9), 28 (1997). \nhttps:\/\/doi.org\/10.5210\/fm.v2i9.548","journal-title":"First Monday"},{"key":"8_CR28","unstructured":"Szabo, N.: Secure Property Titles with Owner Authority (1998). \nhttp:\/\/nakamotoinstitute.org\/secure-property-titles\/\n\n. Accessed 09 Aug 2018"},{"key":"8_CR29","unstructured":"Vitalik, B.: Blockchain and smart contract mechanism design challenges (slides) (2017). \nhttp:\/\/fc17.ifca.ai\/wtsc\/Vitalik%20Malta.pdf\n\n. Accessed 09 Aug 2018"},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"W\u00f6hrer, M., Zdun, U.: Smart contracts: security patterns in the Ethereum ecosystem and Solidity. In: 2018 International Workshop on Blockchain Oriented Software Engineering, pp. 2\u20138. IEEE Computer Society (2018). \nhttps:\/\/doi.org\/10.1109\/IWBOSE.2018.8327565","DOI":"10.1109\/IWBOSE.2018.8327565"},{"key":"8_CR31","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Technical report, Ethereum Project Yellow Paper (2014). \nhttps:\/\/ethereum.github.io\/yellowpaper\/paper.pdf\n\n. Accessed 09 Aug 2018"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-43725-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T06:42:47Z","timestamp":1584081767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-43725-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030437244","9783030437251"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43725-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"St. Kitts","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Saint Kitts and Nevis","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":"18 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc19.ifca.ai\/","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":"HotCRP","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"178","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":"32","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":"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,08","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":"7,6","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)"}}]}}