{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T19:50:21Z","timestamp":1775850621244,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319897219","type":"print"},{"value":"9783319897226","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89722-6_10","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T10:53:50Z","timestamp":1523616830000},"page":"243-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":186,"title":["A Semantic Framework for the Security Analysis of Ethereum Smart Contracts"],"prefix":"10.1007","author":[{"given":"Ilya","family":"Grishchenko","sequence":"first","affiliation":[]},{"given":"Matteo","family":"Maffei","sequence":"additional","affiliation":[]},{"given":"Clara","family":"Schneidewind","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"key":"10_CR1","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). http:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"10_CR2","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., Rohloff, K., Bonneau, J., Miller, A., Ryan, P.Y.A., Teague, V., Bracciali, A., Sala, M., Pintore, F., Jakobsson, M. (eds.) FC 2017. LNCS, vol. 10323, pp. 453\u2013467. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_28 . http:\/\/orbilu.uni.lu\/bitstream\/10993\/30975\/1\/Findel_2017-03-08-CR.pdf"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Hahn, A., Singh, R., Liu, C.C., Chen, S.: Smart contract-based campus demonstration of decentralized transactive energy auctions. In: 2017 IEEE Power and Energy Society Innovative Smart Grid Technologies Conference (ISGT), pp. 1\u20135. IEEE (2017)","DOI":"10.1109\/ISGT.2017.8086092"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-319-70972-7_20","volume-title":"Financial Cryptography and Data Security","author":"P McCorry","year":"2017","unstructured":"McCorry, P., Shahandashti, S.F., Hao, F.: A smart contract for boardroom voting with maximum voter privacy. In: Kiayias, A. (ed.) FC 2017. LNCS, vol. 10322, pp. 357\u2013375. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70972-7_20"},{"key":"10_CR5","unstructured":"Adhikari, C.: Secure framework for healthcare data management using Ethereum-based blockchain technology (2017)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-319-59144-5_34","volume-title":"Designing the Digital Transformation","author":"B Notheisen","year":"2017","unstructured":"Notheisen, B., G\u00f6dde, M., Weinhardt, C.: Trading stocks on blocks-engineering decentralized markets. In: Maedche, A., vom Brocke, J., Hevner, A. (eds.) DESRIST 2017. LNCS, vol. 10243, pp. 474\u2013478. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59144-5_34"},{"key":"10_CR7","unstructured":"Mathieu, F., Mathee, R.: Blocktix: decentralized event hosting and ticket distribution network (2017). https:\/\/blocktix.io\/public\/doc\/blocktix-wp-draft.pdf"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Azaria, A., Ekblaw, A., Vieira, T., Lippman, A.: MedRec: using blockchain for medical data access and permission management. In: International Conference on Open and Big Data (OBD), pp. 25\u201330. IEEE (2016)","DOI":"10.1109\/OBD.2016.11"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Dong, C., Wang, Y., Aldweesh, A., McCorry, P., van Moorsel, A.: Betrayal, distrust, and rationality: smart counter-collusion contracts for verifiable cloud computing (2017)","DOI":"10.1145\/3133956.3134032"},{"key":"10_CR10","unstructured":"The DAO smart contract (2016). http:\/\/etherscan.io\/address\/0xbb9bc244d798123fde783fcc1c72d3bb8c189413#code"},{"key":"10_CR11","unstructured":"The parity wallet breach (2017). https:\/\/www.coindesk.com\/30-million-ether-reported-stolen-parity-wallet-breach\/"},{"key":"10_CR12","unstructured":"The parity wallet vulnerability (2017). https:\/\/paritytech.io\/blog\/security-alert.html"},{"key":"10_CR13","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":"10_CR14","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151 (2014). https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-319-70278-0_33","volume-title":"Financial Cryptography and Data Security","author":"Y Hirai","year":"2017","unstructured":"Hirai, Y.: Defining the Ethereum virtual machine for interactive theorem provers. In: Brenner, M., Rohloff, K., Bonneau, J., Miller, A., Ryan, P.Y.A., Teague, V., Bracciali, A., Sala, M., Pintore, F., Jakobsson, M. (eds.) FC 2017. LNCS, vol. 10323, pp. 520\u2013535. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70278-0_33"},{"key":"10_CR16","unstructured":"Hildenbrandt, E., Saxena, M., Zhu, X., Rodrigues, N., Daian, P., Guth, D., Rosu, G.: KEVM: a complete semantics of the Ethereum virtual machine. http:\/\/hdl.handle.net\/2142\/97207"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Stef\u0103nescu, A., Park, D., Yuwen, S., Li, Y., Ro\u015fu, G.: Semantics-based program verifiers for all languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 74\u201391. ACM (2016)","DOI":"10.1145\/3022671.2984027"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. arXiv preprint arXiv:1702.05511 (2017)","DOI":"10.1007\/978-3-319-70278-0_30"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Mavridou, A., Laszka, A.: Designing secure ethereum smart contracts: a finite state machine based approach. http:\/\/aronlaszka.com\/papers\/mavridou2018designing.pdf","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"10_CR20","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, pp. 91\u201396. ACM (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"10_CR21","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":"10_CR22","unstructured":"Grishchenko, I., Maffei, M., Schneidewind, C.: A semantic framework for the security analysis of Ethereum smart contracts. Technical report (2018). https:\/\/secpriv.tuwien.ac.at\/tools\/ethsemantics"},{"key":"10_CR23","unstructured":"Solidity documentation. http:\/\/solidity.readthedocs.io\/en\/develop\/"},{"key":"10_CR24","unstructured":"F*. https:\/\/fstar-lang.org"},{"key":"10_CR25","unstructured":"Consensus test suite. https:\/\/github.com\/ethereum\/tests"},{"issue":"6","key":"10_CR26","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10207-009-0086-1","volume":"8","author":"C Hammer","year":"2009","unstructured":"Hammer, C., Snelting, G.: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Int. J. Inf. Secur. 8(6), 399\u2013422 (2009)","journal-title":"Int. J. Inf. Secur."},{"key":"10_CR27","first-page":"280","volume":"56","author":"G Snelting","year":"2014","unstructured":"Snelting, G., Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., Wasserrab, D.: Checking probabilistic noninterference using JOANA. IT - Inf. Technol. 56, 280\u2013287 (2014)","journal-title":"IT - Inf. Technol."},{"key":"10_CR28","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: An analysis tool for smart contracts. https:\/\/github.com\/melonproject\/oyente"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89722-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T15:24:32Z","timestamp":1571153072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89722-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319897219","9783319897226"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89722-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}