A survey of smart contract formal specification and verification
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …
blockchain platform. Given the significance of smart contracts in supporting important …
Ethereum smart contract analysis tools: A systematic review
Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …
breaking technology that allows users to communicate without the need of a trusted …
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …
blockchain technology. Their self-enforcing and event-driven features make some online …
Security threat mitigation for smart contracts: A comprehensive survey
The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …
recording state transitions of smart contracts—decentralized applications that can be …
Review of automated vulnerability analysis of smart contracts on Ethereum
Programs on public blockchains often handle valuable assets, making them attractive
targets for attack. At the same time, it is challenging to design correct blockchain …
targets for attack. At the same time, it is challenging to design correct blockchain …
Deepinfer: Deep type inference from smart contract bytecode
Smart contracts play an increasingly important role in Ethereum platform. It provides various
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …
Detecting functional and security‐related issues in smart contracts: A systematic literature review
Blockchain is a platform of distributed elaboration, which allows users to provide software for
a huge range of next‐generation decentralized applications without involving reliable third …
a huge range of next‐generation decentralized applications without involving reliable third …
Toward vulnerability detection for ethereum smart contracts using graph-matching network
Y Zhang, D Liu - Future Internet, 2022 - mdpi.com
With the blooming of blockchain-based smart contracts in decentralized applications, the
security problem of smart contracts has become a critical issue, as vulnerable contracts have …
security problem of smart contracts has become a critical issue, as vulnerable contracts have …
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
Solidity smart contract allow developers to formalize financial agreements between users.
Due to their monetary nature, smart contracts have been the target of many high-profile …
Due to their monetary nature, smart contracts have been the target of many high-profile …
SigRec: Automatic Recovery of Function Signatures in Smart Contracts
Millions of smart contracts have been deployed onto Ethereum for providing various
services, whose functions can be invoked. For this purpose, the caller needs to know the …
services, whose functions can be invoked. For this purpose, the caller needs to know the …