{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T05:14:43Z","timestamp":1776143683328,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319678153","type":"print"},{"value":"9783319678160","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67816-0_20","type":"book-chapter","created":{"date-parts":[[2017,9,12]],"date-time":"2017-09-12T06:43:16Z","timestamp":1505198596000},"page":"357-372","source":"Crossref","is-referenced-by-count":50,"title":["In Code We Trust?"],"prefix":"10.1007","author":[{"given":"Michael","family":"Fr\u00f6wis","sequence":"first","affiliation":[]},{"given":"Rainer","family":"B\u00f6hme","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,13]]},"reference":[{"key":"20_CR1","unstructured":"Contracts - Solidity 0.4.12 documentation. http:\/\/solidity.readthedocs.io\/en\/develop\/ . Accessed 12 June 2017"},{"key":"20_CR2","unstructured":"Contracts - Solidity 0.4.12 documentation - Swarm. http:\/\/solidity.readthedocs.io\/en\/develop\/miscellaneous.html#contract-metadata . Accessed 12 June 2017"},{"key":"20_CR3","unstructured":"Ethereum Homestead Documentation. http:\/\/ethdocs.org\/en\/latest\/ . Accessed 19 June 2017"},{"key":"20_CR4","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts. Technical report, Cryptology ePrint Archive: Report 2016\/1007 (2016)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns. arXiv preprint arXiv:1703.06322 (2017)","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., Zanella-B\u00e9guelin, S.: Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS 2016, pp. 91\u201396. ACM (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"20_CR7","unstructured":"Buterin, V.: A state clearing FAQ. https:\/\/www.reddit.com\/r\/ethereum\/comments\/5es5g4\/a_state_clearing_faq\/ . Accessed 18 June 2017"},{"key":"20_CR8","unstructured":"Buterin, V.: Hard Fork Completed. https:\/\/blog.ethereum.org\/2016\/07\/20\/hard-fork-completed\/ . Accessed 18 June 2017"},{"key":"20_CR9","unstructured":"del Castillo, M.: The DAO Attacked: Code Issue Leads to $60 Million Ether Theft. http:\/\/www.coindesk.com\/dao-attacked-code-issue-leads-60-million-ether-theft\/ . Accessed 18 June 2017"},{"key":"20_CR10","unstructured":"Hertig, A.: So, Ethereum\u2019s Blockchain is Still Under Attack. http:\/\/www.coindesk.com\/so-ethereums-blockchain-is-still-under-attack\/ . Accessed 18 June 2017"},{"key":"20_CR11","unstructured":"Hirai, Y.: Formal verification of Deed contract in Ethereum name service. (2016). https:\/\/yoichihirai.com\/deed.pdf . Accessed 31 July 2017"},{"key":"20_CR12","unstructured":"Jameson, H.: FAQ: Upcoming Ethereum Hard Fork. https:\/\/blog.ethereum.org\/2016\/10\/18\/faq-upcoming-ethereum-hard-fork\/ . Accessed 18 June 2017"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254\u2013269. ACM (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Luu, L., Teutsch, J., Kulkarni, R., Saxena, P.: Demystifying incentives in the consensus computer. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, pp. 706\u2013719. ACM (2015)","DOI":"10.1145\/2810103.2813659"},{"key":"20_CR15","unstructured":"Nakamoto, S.: Bitcoin: A peer-to-peer electronic cash system (2008)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Norvill, R., Awan, I.U., Pontiveros, B., Cullen, A.J., et al.: Automated labeling of unknown contracts in Ethereum (2017)","DOI":"10.1109\/ICCCN.2017.8038513"},{"key":"20_CR17","unstructured":"Swende, M.H.: The Shanghai Attacks. https:\/\/edcon.io\/ppt\/one\/Martin%20Holst%20Swende_The%20%27Shanghai%20%27Attacks_EDCON.pdf . Accessed 19 June 2017"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997)","DOI":"10.5210\/fm.v2i9.548"},{"key":"20_CR19","unstructured":"Wood, G.: Ethereum: A secure decentralised generalised transaction ledger (EIP-150 revision) (2017). http:\/\/gavwood.com\/paper.pdf . Accessed 18 June 2017"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management, Cryptocurrencies and Blockchain Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67816-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T06:46:14Z","timestamp":1570085174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67816-0_20"}},"subtitle":["Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum"],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319678153","9783319678160"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67816-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}