On security and reliability of smart contracts: the applications of dynamic specification mining on solidity

• المؤلف الرئيسي: Liu, Ye
• مؤلفون آخرون: Li Yi
• التنسيق: Thesis-Doctor of Philosophy
• اللغة: English
• منشور في: Nanyang Technological University 2023
• الموضوعات: Engineering::Computer science and engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/168560
• المؤسسة: Nanyang Technological University

Smart contracts are computer programs running on blockchain platforms to manage large sums of cryptocurrency, govern and carry out transactions of assets between multiple parties. The security of smart contracts has attracted great attention, ever since their adoption in the management of massive cr...