English
Related papers

Related papers: Automatic Code and Test Generation of Smart Contra…

200 papers

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises…

Software Engineering · Computer Science 2021-07-06 Zhipeng Gao

Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this…

Software Engineering · Computer Science 2021-03-18 Ilham Qasse , Shailesh Mishra , Mohammad Hamdaqa

This article proposes a self-organizing collaborative computing network with an approach to enhance the expectation of a collaborating node for joining the self-organizing network. The proposed approach relies on Ethereum cryptocurrency and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-28 Abdullah Yousafzai , Choong Seon Hong

The introduction of large language models (LLMs) like ChatGPT and Google Palm2 for smart contract generation seems to be the first well-established instance of an AI pair programmer. LLMs have access to a large number of open-source smart…

Software Engineering · Computer Science 2023-08-22 Rabimba Karanjai , Edward Li , Lei Xu , Weidong Shi

Machine learning (ML) has penetrated various fields in the era of big data. The advantage of collaborative machine learning (CML) over most conventional ML lies in the joint effort of decentralized nodes or agents that results in better…

Machine Learning · Computer Science 2022-09-13 Shengwen Ding , Chenhui Hu

Machine Learning systems rely on data for training, input and ongoing feedback and validation. Data in the field can come from varied sources, often anonymous or unknown to the ultimate users of the data. Whenever data is sourced and used,…

Computers and Society · Computer Science 2019-04-08 Iain Barclay , Alun Preece , Ian Taylor , Dinesh Verma

Machine learning has recently enabled large advances in artificial intelligence, but these tend to be highly centralized. The large datasets required are generally proprietary; predictions are often sold on a per-query basis; and published…

Cryptography and Security · Computer Science 2019-07-18 Justin D. Harris , Bo Waggoner

Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and transfer assets of considerable value (in the form of…

Programming Languages · Computer Science 2018-06-19 Krishnendu Chatterjee , Amir Kafshdar Goharshady , Yaron Velner

Smart contracts (SC) are software codes which reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain, They are ruled…

Software Engineering · Computer Science 2018-02-08 Roberto Tonelli , Giuseppe Destefanis , Michele Marchesi , Marco Ortu

The main problem faced by smart contract platforms is the amount of time and computational power required to reach consensus. In a classical blockchain model, each operation is in fact performed by each node, both to update the status and…

Cryptography and Security · Computer Science 2021-11-11 Alessio Meneghetti , Tommaso Parise , Massimiliano Sala , Daniele Taufer

Programming has always been at the heart of technological innovation in the 21st century. With the advent of blockchain technologies and the proliferation of web3 paradigms of decentralised applications, smart contracts have been very…

Software Engineering · Computer Science 2023-10-10 Nii Osae Osae Dade , Margaret Lartey-Quaye , Emmanuel Teye-Kofi Odonkor , Paul Ammah

Decentralized management and coordination of energy systems are emerging trends facilitated by the uptake of the Internet of Things and Blockchain offering new opportunities for more secure, resilient, and efficient energy distribution.…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-26 Tudor Cioara , Claudia Pop , Razvan Zanc , Ionut Anghel , Marcel Antal , Ioan Salomie

This dissertation addresses the challenge of ensuring transactional integrity and reducing costs in corporate governance through blockchain technology. We propose an on-chain methodology for certifying, registering, and querying…

Cryptography and Security · Computer Science 2025-01-27 Antonio Hoffert

In the growing field of blockchain technology, smart contracts exist as transformative digital agreements that execute transactions autonomously in decentralised networks. However, these contracts face challenges in the form of security…

Cryptography and Security · Computer Science 2024-07-12 Christopher De Baets , Basem Suleiman , Armin Chitizadeh , Imran Razzak

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In…

Cryptography and Security · Computer Science 2021-10-01 Paolo Bottoni , Anna Labella , Remo Pareschi

The work presents a solution for completely decentralized data management systems in geographically distributed environments with administratively unrelated or loosely related user groups and in conditions of partial or complete lack of…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-21 Andrey Demichev , Alexander Kryukov

Most modern electronic devices can produce a random number. However, it is difficult to see how a group of mutually distrusting entities can have confidence in any such hardware-produced stream of random numbers, since the producer could…

Cryptography and Security · Computer Science 2019-06-27 Peter Mell , John Kelsey , James Shook

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

Programming Languages · Computer Science 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

In this paper, we present Velocity, a decentralized market deployed on Ethereum for trading a custom type of derivative option. To enable the smart contract to work, we also implement a price fetching tool called PriceGeth. We present this…

Cryptography and Security · Computer Science 2018-02-15 Shayan Eskandari , Jeremy Clark , Vignesh Sundaresan , Moe Adham

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

Software Engineering · Computer Science 2026-03-25 Gerardo Iuliano , Dario Di Nucci
‹ Prev 1 4 5 6 7 8 10 Next ›