{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:03:47Z","timestamp":1757617427919,"version":"3.44.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031809316"},{"type":"electronic","value":"9783031809323"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-80932-3_7","type":"book-chapter","created":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T01:14:11Z","timestamp":1739322851000},"page":"91-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Under the\u00a0Space Threat: Quantitative Analysis of\u00a0Cosmos Blockchain"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5893-8259","authenticated-orcid":false,"given":"Daria","family":"Smuseva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1176-3543","authenticated-orcid":false,"given":"Ivan","family":"Malakhov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5958-1204","authenticated-orcid":false,"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2072-1628","authenticated-orcid":false,"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1189-4439","authenticated-orcid":false,"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,13]]},"reference":[{"key":"7_CR1","unstructured":"CometBFT: consensus algorithm. https:\/\/docs.cometbft.com\/main\/spec\/consensus\/consensus. Accessed 15 Oct 2024"},{"key":"7_CR2","unstructured":"Cosmos blockchain dashboard on official cosmos explorer. https:\/\/www.mintscan.io\/cosmos\/. Accessed 15 Oct 2024"},{"key":"7_CR3","unstructured":"Cosmos network: validator incentives. https:\/\/hub.cosmos.network\/validators\/validator-faq.html#incentives. Accessed15 Oct 2024"},{"key":"7_CR4","unstructured":"Injective blockchain dashboard on official cosmos explorer. https:\/\/www.mintscan.io\/injective\/. Accessed 15 Oct 2024"},{"key":"7_CR5","unstructured":"Kraken validator in Cosmos blockchain. https:\/\/www.mintscan.io\/cosmos\/validators\/cosmosvaloper1z8zjv3lntpwxua0rtpvgrcwl0nm0tltgpgs6l7. Accessed 15 Oct 2024"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Alharby, M., Lunardi, R.C., Aldweesh, A., Van\u00a0Moorsel, A.: Data-driven model-based analysis of the Ethereum verifier\u2019s dilemma. In: 2020 50th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 209\u2013220. IEEE (2020)","DOI":"10.1109\/DSN48063.2020.00038"},{"key":"7_CR7","unstructured":"Buchman, E., Kwon, J., Milosevic, Z.: The latest gossip on BFT consensus. arXiv preprint arXiv:1807.04938 (2018)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"issue":"1","key":"7_CR9","first-page":"1","volume":"181","author":"J Hillston","year":"2021","unstructured":"Hillston, J., Marin, A., Piazza, C., Rossi, S.: Persistent stochastic non-interference. Fund. Inform. 181(1), 1\u201335 (2021)","journal-title":"Fund. Inform."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.future.2023.04.016","volume":"147","author":"I Malakhov","year":"2023","unstructured":"Malakhov, I., Marin, A., Rossi, S.: Analysis of the confirmation time in proof-of-work blockchains. Future Gener. Comput. Syst. 147, 275\u2013291 (2023)","journal-title":"Future Gener. Comput. Syst."},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"3276","DOI":"10.1109\/TNSE.2024.3360080","volume":"11","author":"I Malakhov","year":"2024","unstructured":"Malakhov, I., Marin, A., Rossi, S., Menasch\u00e9, D.S.: Confirmed or dropped? Reliability analysis of transactions in PoW blockchains. IEEE Trans. Netw. Sci. Eng. 11(4), 3276\u20133288 (2024)","journal-title":"IEEE Trans. Netw. Sci. Eng."},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/ACCESS.2021.3138528","volume":"10","author":"I Malakhov","year":"2022","unstructured":"Malakhov, I., Marin, A., Rossi, S., Smuseva, D.: On the use of proof-of-work in permissioned blockchains: security and fairness. IEEE Access 10, 1305\u20131316 (2022)","journal-title":"IEEE Access"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-030-29662-9_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Marin","year":"2019","unstructured":"Marin, A., Piazza, C., Rossi, S.: Proportional lumpability. In: Andr\u00e9, \u00c9., Stoelinga, M. (eds.) FORMATS 2019. LNCS, vol. 11750, pp. 265\u2013281. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29662-9_16"},{"key":"7_CR14","unstructured":"Nakamoto, S.: Bitcoin: A peer-to-peer electronic cash system (2008). http:\/\/www.bitcoin.org\/bitcoin.pdf"},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Smuseva, D., Malakhov, I., Marin, A., van Moorsel, A., Rossi, S.: Verifier\u2019s dilemma in Ethereum blockchain: a quantitative analysis. In: International Conference on Quantitative Evaluation of Systems, pp. 317\u2013336. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-16336-4_16.pdf","DOI":"10.1007\/978-3-031-16336-4_16.pdf"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Smuseva, D., Malakhov, I., Marin, A., Rossi, S.: Crisis of trust: analyzing the verifier\u2019s dilemma in Ethereum\u2019s proof-of-stake blockchain. In: 2023 IEEE International Conference on Blockchain (Blockchain), pp. 332\u2013339. IEEE (2023)","DOI":"10.1109\/Blockchain60715.2023.00058"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80932-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T04:59:18Z","timestamp":1757134758000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80932-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031809316","9783031809323"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80932-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EPEW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Workshop on Performance Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Venice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"epew2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}