中文
相关论文

相关论文: Security Analysis of Smart Contract Migration from…

200 篇论文

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

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

In this work, we provide a comprehensive survey of smart contract upgradability patterns using proxies. A primary characteristic of smart contracts on the Ethereum blockchain is that they are immutable once implemented, no changes can be…

密码学与安全 · 计算机科学 2023-04-10 Sajad Meisami , William Edward Bodell

Smart contracts on public blockchains now manage large amounts of value, and vulnerabilities in these systems can lead to substantial losses. As AI agents become more capable at reading, writing, and running code, it is natural to ask how…

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 activities possible without a trusted third party. Nevertheless,…

密码学与安全 · 计算机科学 2021-02-16 Bin Hu , Zongyang Zhang , Jianwei Liu , Yizhong Liu , Jiayuan Yin , Rongxing Lu , Xiaodong Lin

To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each containing a set of rules to guide the behaviors of smart contracts. Violating the ERC rules could cause serious…

密码学与安全 · 计算机科学 2024-04-09 Shihao Xia , Shuai Shao , Mengting He , Tingting Yu , Linhai Song , Yiying Zhang

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

密码学与安全 · 计算机科学 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

We reveal six zero-day social engineering attacks in Ethereum, and subdivide them into two classes: Address Manipulation and Homograph. We demonstrate the attacks by embedding them in source codes of five popular smart contracts with…

密码学与安全 · 计算机科学 2022-09-20 Nikolay Ivanov , Qiben Yan

The rise of decentralized applications (dApps) has made smart contracts imperative components of blockchain technology. As many smart contracts process financial transactions, their security is paramount. Moreover, the immutability of…

分布式、并行与集群计算 · 计算机科学 2024-07-24 Khalid Hassan , Saeed Moradi , Shaiful Chowdhury , Sara Rouhani

As blockchain technology continues to evolve, the security of smart contracts has increasingly drawn attention from both academia and industry. The Move language, with its unique resource model and linear type system, provides a solid…

密码学与安全 · 计算机科学 2026-02-03 Yuhe Luo , Zhongwen Li , Xiaoqi Li

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

In the area of blockchains, a wallet is anything that manages the access to cryptocurrencies and tokens. Off-chain wallets appear in different forms, from paper wallets to hardware wallets to dedicated wallet apps, while on-chain wallets…

密码学与安全 · 计算机科学 2021-04-06 Monika di Angelo , Gernot Salzer

This article conducts an extensive examination of the persisting challenges related to smart contract attacks within blockchain networks, with a particular focus on the reentrancy attack. It emphasizes the inherent vulnerabilities embedded…

社会与信息网络 · 计算机科学 2023-10-05 Simone Casale-Brunet , Marco Mattavelli

Blockchain smart contracts play a crucial role in automating and securing agreements in diverse domains such as finance, healthcare, and supply chains. Despite their critical applications, testing these contracts often receives less…

软件工程 · 计算机科学 2025-01-20 Irving Jared Villanueva , Madhusudan Srinivasan , Faqeer Ur Rehman

Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is…

软件工程 · 计算机科学 2024-03-13 Francesco Salzano , Simone Scalabrino , Rocco Oliveto , Remo Pareschi

To empower smart contracts with the promising capabilities of cryptography, Ethereum officially introduced a set of cryptographic APIs that facilitate basic cryptographic operations within smart contracts, such as elliptic curve operations.…

软件工程 · 计算机科学 2023-12-18 Jiashuo Zhang , Jiachi Chen , Zhiyuan Wan , Ting Chen , Jianbo Gao , Zhong Chen

Smart contracts, known for their immutable nature to ensure trust via automated enforcement, have evolved to require upgradeability due to unforeseen vulnerabilities and the need for feature enhancements post-deployment. This contradiction…

软件工程 · 计算机科学 2024-07-02 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

In recent years, Ethereum gained tremendously in popularity, growing from a daily transaction average of 10K in January 2016 to an average of 500K in January 2020. Similarly, smart contracts began to carry more value, making them appealing…

密码学与安全 · 计算机科学 2021-01-18 Christof Ferreira Torres , Antonio Ken Iannillo , Arthur Gervais , Radu State

Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features of these platforms is the trustworthy decentralized execution…

计算机与社会 · 计算机科学 2020-01-20 Afiya Ayman , Shanto Roy , Amin Alipour , Aron Laszka

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

密码学与安全 · 计算机科学 2017-10-18 Maher Alharby , Aad van Moorsel