Systematic review of security vulnerabilities in ethereum blockchain smart contract

SS Kushwaha, S Joshi, D Singh, M Kaur… - IEEE Access, 2022 - ieeexplore.ieee.org
Blockchain is a revolutionary technology that enables users to communicate in a trust-less
manner. It revolutionizes the modes of business between organizations without the need for …

Ethereum smart contract analysis tools: A systematic review

SS Kushwaha, S Joshi, D Singh, M Kaur, HN Lee - Ieee Access, 2022 - ieeexplore.ieee.org
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 …

Open problems in cooperative ai

A Dafoe, E Hughes, Y Bachrach, T Collins… - arXiv preprint arXiv …, 2020 - arxiv.org
Problems of cooperation--in which agents seek ways to jointly improve their welfare--are
ubiquitous and important. They can be found at scales ranging from our daily routines--such …

A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
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 …

Toward Metaverse of everything: Opportunities, challenges, and future directions of the next generation of visual/virtual communications

SB Far, AI Rad, SMH Bamakan, MR Asaar - Journal of Network and …, 2023 - Elsevier
The emergence of Metaverse, a digital environment built on Web 3.0 technologies, has
garnered significant attention from various industries and fields, including science and …

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

B Hu, Z Zhang, J Liu, Y Liu, J Yin, R Lu, X Lin - Patterns, 2021 - cell.com
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 …

Trust management in a blockchain based fog computing platform with trustless smart oracles

P Kochovski, S Gec, V Stankovski, M Bajec… - Future Generation …, 2019 - Elsevier
Trust is a crucial aspect when cyber-physical systems have to rely on resources and
services under ownership of various entities, such as in the case of Edge, Fog and Cloud …

VeriSolid: Correct-by-design smart contracts for Ethereum

A Mavridou, A Laszka, E Stachtiari, A Dubey - Financial Cryptography and …, 2019 - Springer
The adoption of blockchain based distributed ledgers is growing fast due to their ability to
provide reliability, integrity, and auditability without trusted entities. One of the key …

[HTML][HTML] Blockchain software patterns for the design of decentralized applications: A systematic literature review

N Six, N Herbaut, C Salinesi - Blockchain: Research and Applications, 2022 - Elsevier
A software pattern is a reusable solution to address a commonly occurring problem within a
given context when designing software. Using patterns is a common practice for software …

Blockchain-based decentralized application: A survey

P Zheng, Z Jiang, J Wu, Z Zheng - IEEE Open Journal of the …, 2023 - ieeexplore.ieee.org
Blockchain-based decentralized applications (DApp) draw more attention with the
increasing development and wide application of blockchain technologies. A wealth of funds …