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

Ye Liu. On security and reliability of smart contracts: the applications of dynamic specification mining on solidity. PhD thesis, Nanyang Technological University, Singapore, 2023. [doi]

Abstract

Abstract is missing.