{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T13:29:35Z","timestamp":1772198975082,"version":"3.50.1"},"publisher-location":"Singapore","reference-count":23,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819529605","type":"print"},{"value":"9789819529612","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:00:00Z","timestamp":1760054400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:00:00Z","timestamp":1760054400000},"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":[[2026]]},"DOI":"10.1007\/978-981-95-2961-2_24","type":"book-chapter","created":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T14:01:18Z","timestamp":1760364078000},"page":"459-469","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Empirical Study of Variation of\u00a0Blockchain to Address the Issue of\u00a0Verification and Validation"],"prefix":"10.1007","author":[{"given":"Joya","family":"Biswas","sequence":"first","affiliation":[]},{"given":"Rutaban","family":"Jania","sequence":"additional","affiliation":[]},{"given":"Jahid","family":"Hossain","sequence":"additional","affiliation":[]},{"given":"Mohammad Farhan","family":"Ferdous","sequence":"additional","affiliation":[]},{"given":"Shakik","family":"Mahmud","sequence":"additional","affiliation":[]},{"given":"Jiageng","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Rashed","family":"Mazumder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,10]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Zheng, Z., Xie, S., Dai, H., Chen, X., Wang, H.: An Overview of blockchain technology: architecture, Consensus, and Future Trends. In: IEEE International Congress on Big Data (BigData Congress), vol. 2017, pp. 557\u2013564. Honolulu, HI, USA (2017)","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"24_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100984","volume":"24","author":"K Mershad","year":"2023","unstructured":"Mershad, K., Cheikhrouhou, O.: Lightweight blockchain solutions: taxonomy, research progress, and comprehensive review. Internet of Things 24, 100984 (2023). https:\/\/doi.org\/10.1016\/j.iot.2023.100984","journal-title":"Internet of Things"},{"issue":"5","key":"24_CR3","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1002\/cae.22381","volume":"29","author":"H Deenmahomed","year":"2021","unstructured":"Deenmahomed, H., Didier, M., Sungkur, R.: The future of university education: examination, transcript, and certificate system using blockchain. Comput. Appl. Eng. Educ. 29(5), 1234\u20131256 (2021). https:\/\/doi.org\/10.1002\/cae.22381","journal-title":"Comput. Appl. Eng. Educ."},{"key":"24_CR4","doi-asserted-by":"publisher","unstructured":"Mohammed, A., Almousa, A., Ghaithan, A., Hadidi, L.: The role of blockchain in improving the processes and workflows in construction projects. Appl. Sci. 11(19), 8835 (2021). https:\/\/doi.org\/10.3390\/app11198835","DOI":"10.3390\/app11198835"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2021\/2427896","volume":"2021","author":"JL Hern\u00e1ndez-Ramos","year":"2021","unstructured":"Hern\u00e1ndez-Ramos, J.L., et al.: Sharing pandemic vaccination certificates through blockchain: case study and performance evaluation. Wirel. Commun. Mob. Comput. 2021, 1\u201312 (2021). https:\/\/doi.org\/10.1155\/2021\/2427896","journal-title":"Wirel. Commun. Mob. Comput."},{"key":"24_CR6","unstructured":"Ben-Sasson, E., Bentov, I., Horesh, Y., Riabzev, M.: Scalable, transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive, Paper 2018\/046, (2018). https:\/\/eprint.iacr.org\/2018\/046"},{"key":"24_CR7","unstructured":"Buterin, V.: A Next Generation Smart contract and Decentralized Application Platform. Whitepaper, ethereum Foundation. San Francisco, CA (2013)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Gervais, A., et al.: On the security and performance of proof of work blockchains. Cryptology ePrint Archive, Paper 2016\/555, (2016). https:\/\/eprint.iacr.org\/2016\/555","DOI":"10.1145\/2976749.2978341"},{"key":"24_CR9","doi-asserted-by":"publisher","unstructured":"Allouche, M., Frikha, T., Mitrea, M., Memmi, G., Chaabane, F.: Lightweight blockchain processing. case study: Scanned document tracking on Tezos blockchain. Appl. Sci. 11(15), 7169 (2021). https:\/\/doi.org\/10.3390\/app11157169","DOI":"10.3390\/app11157169"},{"key":"24_CR10","doi-asserted-by":"publisher","unstructured":"Xie, R., et al.: ethereum-blockchain-Based Technology of Decentralized Smart contract Certificate System. IEEE Internet of Things Magazine 3(2), 44\u201350 (2020). https:\/\/doi.org\/10.1109\/iotm.0001.1900094","DOI":"10.1109\/iotm.0001.1900094"},{"issue":"5","key":"24_CR11","doi-asserted-by":"publisher","first-page":"11691","DOI":"10.48084\/etasr.6170","volume":"13","author":"SH Said","year":"2023","unstructured":"Said, S.H., Dida, M.A., Kosia, E.M., Sinde, R.S.: A blockchain-based conceptual model to address educational certificate verification challenges in Tanzania. Eng. Technol. Appl. Sci. Res. 13(5), 11691\u201311704 (2023)","journal-title":"Eng. Technol. Appl. Sci. Res."},{"key":"24_CR12","unstructured":"Berlin Version. Ethereum: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER (2018)"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Dannen, C.: Introducing Ethereum and solidity: foundations of cryptocurrency and blockchain programming for beginners, Apress, ISBN: 9781484225356 (2017). https:\/\/books.google.com.bd\/books?id=roVkDgAAQBAJ","DOI":"10.1007\/978-1-4842-2535-6"},{"key":"24_CR14","unstructured":"Preukschat, A., Reed, D.: Self-Sovereign Identity: Decentralized Digital Identity and Verifiable Credentials, Manning, ISBN: 9781617296598 (2021). https:\/\/books.google.com.bd\/books?id=Nh4uEAAAQBAJ"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Farokhnia, S.: Lazy contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart contracts. arXiv preprint, (2023). https:\/\/arxiv.org\/abs\/2309.11317","DOI":"10.1145\/3555776.3577833"},{"key":"24_CR16","unstructured":"He, M., et al.: How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. arXiv preprint (2024). https:\/\/arxiv.org\/abs\/2403.02661"},{"key":"24_CR17","unstructured":"Jones, A.: Solidity Unlocked: A Deep Dive into blockchain Development and Smart contracts, Walzone Press, (2025). https:\/\/books.google.com.bd\/books?id=XzQ-EQAAQBAJ"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Li, C.: Gas Estimation and Optimization for Smart contracts on Ethereum. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1082-1086 (2021). https:\/\/api.semanticscholar.org\/CorpusID:246081094","DOI":"10.1109\/ASE51524.2021.9678932"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Zheng, G., Gao, L., Huang, L., Guan, J.: Ethereum Smart contract Development in Solidity. Springer Nature Singapore, ISBN: 9789811562181 (2020). https:\/\/books.google.com.bd\/books?id=OGn6DwAAQBAJ","DOI":"10.1007\/978-981-15-6218-1"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Strong, C., Martin, B., Chrysochou, P.: Advances in blockchain Research and Cryptocurrency Behaviour, De Gruyter, ISBN: 9783110981834 (2024). https:\/\/books.google.com.bd\/books?id=I7YXEQAAQBAJ","DOI":"10.1515\/9783110981551"},{"key":"24_CR21","unstructured":"Omaar, J.: Forever isn\u2019t free: the cost of storage of blockchain on a blockchain database (2017). https:\/\/medium.com\/ipdb-blog\/forever-isnt-free-the-cost-of-storage-on-a-blockchain-database-59003f63e01"},{"key":"24_CR22","doi-asserted-by":"publisher","unstructured":"Burrows, N.R., Hora, I., Geiss, L.S., Gregg, E.W., Albright, A.: Incidence of End-Stage Renal Disease Attributed to Diabetes Among Persons with Diagnosed Diabetes\u2014United States and Puerto Rico, 2000\u20132014. MMWR Morb Mortal Wkly Rep, vol. 66, no. 43, pp. 1165\u20131170 (2017). https:\/\/doi.org\/10.15585\/mmwr.mm6643a2. PMID: 29095800; PMCID: PMC5689212","DOI":"10.15585\/mmwr.mm6643a2"},{"key":"24_CR23","doi-asserted-by":"publisher","unstructured":"Aldossri, R., Aljughaiman, A., Albuali, A.: Advancing drone operations through lightweight blockchain and fog computing integration: a systematic review. Drones 8, 15 (2024). https:\/\/doi.org\/10.3390\/drones8040153","DOI":"10.3390\/drones8040153"}],"container-title":["Lecture Notes in Computer Science","Provable and Practical Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-2961-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T12:47:57Z","timestamp":1772196477000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-2961-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,10]]},"ISBN":["9789819529605","9789819529612"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-2961-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,10]]},"assertion":[{"value":"10 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ProvSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Provable Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yokohama","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"provsec2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sulab-sever.u-aizu.ac.jp\/provsec2025\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}