{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T23:40:49Z","timestamp":1768261249406,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662639573","type":"print"},{"value":"9783662639580","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-662-63958-0_28","type":"book-chapter","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:04:04Z","timestamp":1631801044000},"page":"333-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On-Chain Smart Contract Verification over Tendermint"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8074-8980","authenticated-orcid":false,"given":"Luca","family":"Olivieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2973-0384","authenticated-orcid":false,"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5904-8768","authenticated-orcid":false,"given":"Fabio","family":"Tagliaferro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"28_CR1","unstructured":"Antonopoulos, A.M.: Mastering Bitcoin: Unlocking Digital Cryptocurrencies, 2nd edn. O\u2019Reilly (2017)"},{"key":"28_CR2","unstructured":"Antonopoulos, A.M., Wood, G.: Mastering Ethereum: Building Smart Contracts and Dapps. O\u2019Reilly (2018)"},{"key":"28_CR3","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":"28_CR4","unstructured":"Buterin, V.: Ethereum Whitepaper (2013). Available at https:\/\/ethereum.org\/en\/whitepaper\/"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.tcs.2019.02.001","volume":"777","author":"J Chen","year":"2019","unstructured":"Chen, J., Micali, S.: Algorand: a secure and efficient distributed ledger. Theor. Comput. Sci. 777, 155\u2013183 (2019)","journal-title":"Theor. Comput. Sci."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB@ICSE 2019), Montreal, QC, Canada, May 2019, pp. 8\u201315. IEEE\/ACM (2019)","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Grieco, G., Song, W., Cygan, A., Feist, J., Groce, A.: Echidna: effective, usable, and fast fuzzing for smart contracts. In: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020), USA, July 2020, pp. 557\u2013560. ACM (2020)","DOI":"10.1145\/3395363.3404366"},{"key":"28_CR8","unstructured":"Kwon, J.: Tendermint: consensus without mining. Available at https:\/\/tendermint.com\/static\/docs\/tendermint.pdf (2014)"},{"key":"28_CR9","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. Available at https:\/\/bitcoin.org\/bitcoin.pdf (2008)"},{"issue":"3","key":"28_CR10","doi-asserted-by":"publisher","first-page":"1864","DOI":"10.1007\/s10664-019-09796-5","volume":"25","author":"GA Oliva","year":"2020","unstructured":"Oliva, G.A., Hassan, A.E., Jiang, Z.M.: An exploratory study of smart contracts in the ethereum blockchain platform. Empirical Softw. Eng. 25(3), 1864\u20131904 (2020)","journal-title":"Empirical Softw. Eng."},{"key":"28_CR11","unstructured":"Popper, N.: A hacking of more than \\$50 Million dashes hopes in the world of virtual currency. The New York Times, 18 June 2016"},{"issue":"6","key":"28_CR12","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s12599-020-00656-x","volume":"62","author":"J Sedlmeir","year":"2020","unstructured":"Sedlmeir, J., Buhl, H.U., Fridgen, G., Keller, R.: The energy consumption of blockchain technology: beyond myth. Bus. Inf. Syst. Eng. 62(6), 599\u2013608 (2020)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-662-53413-7_3","volume-title":"Static Analysis","author":"F Spoto","year":"2016","unstructured":"Spoto, F.: The Julia static analyzer for java. In: Rival, X. (ed.) SAS 2016. LNCS, vol. 9837, pp. 39\u201357. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53413-7_3"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-030-43725-1_10","volume-title":"Financial Cryptography and Data Security","author":"F Spoto","year":"2020","unstructured":"Spoto, F.: A java framework for smart contracts. In: Bracciali, A., Clark, J., Pintore, F., R\u00f8nne, P.B., Sala, M. (eds.) FC 2019. LNCS, vol. 11599, pp. 122\u2013137. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43725-1_10"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1007\/978-3-030-54455-3_40","volume-title":"Financial Cryptography and Data Security","author":"F Spoto","year":"2020","unstructured":"Spoto, F.: Enforcing determinism of java smart contracts. In: Bernhard, M., et al. (eds.) FC 2020. LNCS, vol. 12063, pp. 568\u2013583. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54455-3_40"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security. FC 2021 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-63958-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:13:36Z","timestamp":1631801616000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-63958-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662639573","9783662639580"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63958-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 September 2021","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":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc21.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}