Results 71 to 80 of about 1,554,184 (382)
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts
European Symposium on Security and Privacy, 2021 Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike traditional programs, once deployed, they cannot be modified. As smart contracts carry more value, they become more of an exciting target for attackers.
C. F. Torres +3 more
semanticscholar +1 more source
An empirical analysis of smart contracts: platforms, applications, and design patterns
, 2017 Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in many scenarios,
B Marino +10 more
core +1 more source
On the Prediction of Smart Contracts’ Behaviours [PDF]
, 2019 Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart contracts and the interaction with external actors in order to maximize objective functions.
Laneve, Cosimo +2 more
openaire +5 more sources
Blockchain and Smart Contract Engineering [PDF]
IEEE Software, 2020 Blockchains help to build trust among a decentralized network of unknown and untrusted peers who need to agree on a common protocol and trust the correctness and compatibility of the corresponding software implementations. The software engineering discipline cannot ignore this trend, as it fundamentally affects the way software is designed, developed ...
Xabier Larrucea, Cesare Pautasso
openaire +3 more sources
Integrating a Blockchain-Based Governance Framework for Responsible AI
Future Internet, 2023 This research paper reviews the potential of smart contracts for responsible AI with a focus on frameworks, hardware, energy efficiency, and cyberattacks.
Rameez Asif +2 more
doaj +1 more source
WASMOD: Detecting vulnerabilities in Wasm smart contracts
IET Blockchain, 2023 Over the past few years, blockchain platforms supporting WebAssembly (Wasm) smart contracts are gaining popularity. However, Wasm smart contracts are often compiled from memory‐unsafe languages (e.g. C and C++).
Jianfei Zhou, Ting Chen
doaj +1 more source
EASYFLOW: Keep Ethereum Away From Overflow
, 2019 While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks.
Chen, Zhong +5 more
core +1 more source
Towards a Secure Blockchain Ecosystem: Current Vulnerabilities and Future Directions in Smart Contract Security [PDF]
ITM Web of ConferencesAs a distributed shared transaction ledger, blockchain technology has the characteristics of decentralization, immutable, irreversible and traceable, and is changing the inherent model of traditional industries.
Zhao Boya
doaj +1 more source
Toward the Ontological Modeling of Smart Contracts: A Solidity Use Case
IEEE Access, 2021 Blockchain has become a pervasive technology in a wide number of sectors like industry, research, and academy. With the emergence of blockchain, new solutions with this technology to existing problems were devised, leading to the introduction of smart ...
Juan Cano-Benito +2 more
doaj +1 more source
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
, 2017 The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas ...
A Mavridou +8 more
core +1 more source