中文
相关论文

相关论文: An empirical analysis of smart contracts: platform…

200 篇论文

Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have since been used for various applications such as security…

软件工程 · 计算机科学 2024-07-08 Mahdi Fooladgar , Fathiyeh Faghih

Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns…

密码学与安全 · 计算机科学 2018-08-27 Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais , Florian Buenzli , Martin Vechev

As time progresses, the need for more secure applications grows exponentially. The different types of sensitive information that is being transferred virtually has sparked a rise in systems that leverage blockchain. Different sectors are…

密码学与安全 · 计算机科学 2024-01-04 Myles Lewis , Chris Crawford

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…

密码学与安全 · 计算机科学 2017-11-28 Anastasia Mavridou , Aron Laszka

The Blockchain and the programs running on it, called Smart Contracts, are more and more applied in all fields requiring trust and strong certifications. In this work we compare public and permissioned blockchains for industrial…

密码学与安全 · 计算机科学 2020-05-07 Lodovica Marchesi , Michele Marchesi , Roberto Tonelli

The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be…

密码学与安全 · 计算机科学 2019-02-26 Chao Li , Balaji Palanisamy , Runhua Xu

Smart contracts are distributed, self-enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institutes and supply chains. However, smart contracts are subject…

密码学与安全 · 计算机科学 2021-01-07 Tai D. Nguyen , Long H. Pham , Jun Sun

We propose a smart contract that allows two mutually distrusting parties to transact any non-digital good or service by deploying a smart contract on a blockchain to act as escrow. The contract settles disputes by letting parties wager that…

计算机科学与博弈论 · 计算机科学 2023-04-05 Nikolaj Ignatieff Schwartzbach

More than eight million smart contracts have been deployed into Ethereum, which is the most popular blockchain that supports smart contract. However, less than 1% of deployed smart contracts are open-source, and it is difficult for users to…

软件工程 · 计算机科学 2020-07-21 Xiaoqi Li , Ting Chen , Xiapu Luo , Tao Zhang , Le Yu , Zhou Xu

Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and…

密码学与安全 · 计算机科学 2023-06-09 Monika di Angelo , Thomas Durieux , João F. Ferreira , Gernot Salzer

An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23…

软件工程 · 计算机科学 2020-01-13 Alex Groce , Josselin Feist , Gustavo Grieco , Michael Colburn

Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximise the…

软件工程 · 计算机科学 2019-09-02 Pieter Hartel , Ivan Homoliak , Daniël Reijsbergen

Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. Existing verifiable computation techniques all have a high…

密码学与安全 · 计算机科学 2017-09-05 Changyu Dong , Yilei Wang , Amjad Aldweesh , Patrick McCorry , Aad van Moorsel

The emergence of blockchain technology has revolutionized contract execution through the introduction of smart contracts. Ethereum, the leading blockchain platform, leverages smart contracts to power decentralized applications (DApps),…

密码学与安全 · 计算机科学 2025-10-23 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Tarannum Shaila Zaman , Tariqul Islam

With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts.…

密码学与安全 · 计算机科学 2018-11-02 Dominik Harz , William Knottenbelt

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

计算机科学中的逻辑 · 计算机科学 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro

In recent years, we have seen a great deal of both academic and practical interest in the topic of vulnerabilities in smart contracts, particularly those developed for the Ethereum blockchain. While most of the work has focused on detecting…

密码学与安全 · 计算机科学 2020-10-20 Daniel Perez , Benjamin Livshits

Blockchain technologies, such as smart contracts, present a unique interface for machine-to-machine communication that provides a secure, append-only record that can be shared without trust and without a central administrator. We study the…

计算机与社会 · 计算机科学 2019-01-09 Yuichi Hanada , Luke Hsiao , Philip Levis

Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to…

Proliferation of IoT devices in society demands a renewed focus on securing the use and maintenance of such systems. IoT-based systems will have a great impact on society and therefore such systems must have guaranteed resilience. We…

密码学与安全 · 计算机科学 2020-07-07 John Wickström , Magnus Westerlund , Göran Pulkkis