Automatic program analysis and verification and their applications in smart contracts by Jiao, Jiao

“…Smart contracts must be verified for multiple reasons. …”
Get full text

Securing smart contracts with formal verification and automated program repair by Tolmach, Palina

“…Bugs enable security attacks on smart contracts—computer programs operating on the blockchain and managing significant financial assets. …”
Get full text

On security and reliability of smart contracts: the applications of dynamic specification mining on solidity by Liu, Ye

“…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. …”
Get full text

A fact-based approach to software evolution by Wu, Xiuheng

“…After the successful implementation of the fact-driven approach in certain applications, we shift our focus to the growing significance of smart contracts. Recognizing the importance of API documentation in the development of smart contracts, this work introduces DocCon, a technique adept at identifying inconsistencies between documentation and corresponding Solidity smart contract library code. …”
Get full text

Blockchain applications for peer-to-peer energy trading by Yang, Jiawei

“…The combination of their respective blockchain is achieved by the setup of the cross-chain smart contract communication functions provided by the Geth software. …”
Get full text

Cyber resilience enhancement for microgrid digitalization by Dai, Jiahong

“…The proposed framework uses the intrinsic security of blockchain to replace vulnerable information exchange with secure transactions. It deploys smart contracts on the enterprise-level HyperLedger blockchain to provide distributed secondary control and self-healing functions. …”
Get full text

Enabling advanced analytics for industry applications using machine learning and graph mining by Zhao, Lin

“…The Ethereum blockchain network stands as the largest public blockchain supporting smart contracts. Recent works have modeled Ethereum's transactions, tokens and other interactions as static graphs, providing insights through graph analysis. …”
Get full text