Survey on blockchain based smart contracts: Applications, opportunities and challenges
Blockchain is one of the disruptive technical innovation in the recent computing paradigm.
Many applications already notoriously hard and complex are fortunate to ameliorate the …
Many applications already notoriously hard and complex are fortunate to ameliorate the …
Smart contract development: Challenges and opportunities
Smart contract, a term which was originally coined to refer to the automation of legal
contracts in general, has recently seen much interest due to the advent of blockchain …
contracts in general, has recently seen much interest due to the advent of blockchain …
A survey on ethereum systems security: Vulnerabilities, attacks, and defenses
Blockchain technology is believed by many to be a game changer in many application
domains. While the first generation of blockchain technology (ie, Blockchain 1.0) is almost …
domains. While the first generation of blockchain technology (ie, Blockchain 1.0) is almost …
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 …
Survey on blockchain-based smart contracts: Technical aspects and future research
The industrial and computing research context revolutionized in various directions during
the last decades. The blockchain-based smart contract embraced as a significant research …
the last decades. The blockchain-based smart contract embraced as a significant research …
A survey of tools for analyzing ethereum smart contracts
M Di Angelo, G Salzer - 2019 IEEE international conference on …, 2019 - ieeexplore.ieee.org
Smart contracts are at the heart of many decentralized applications, encapsulating core
parts of the business logic. They handle the exchange of valuable assets like crypto …
parts of the business logic. They handle the exchange of valuable assets like crypto …
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 …
Verification of smart contracts: A survey
M Almakhour, L Sliman, AE Samhat… - Pervasive and Mobile …, 2020 - Elsevier
To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …
verification of such smart contracts is mandatory. A blockchain-based smart contract should …
Tokenscope: Automatically detecting inconsistent behaviors of cryptocurrency tokens in ethereum
Motivated by the success of Bitcoin, lots of cryptocurrencies have been created, the majority
of which were implemented as smart contracts running on Ethereum and called tokens. To …
of which were implemented as smart contracts running on Ethereum and called tokens. To …