中文
相关论文

相关论文: PrettiSmart: Visual Interpretation of Smart Contra…

200 篇论文

Due to the inherent immutability of blockchain technology, smart contract updates require their deployment at new addresses rather than modifying existing ones, thus fragmenting version histories and creating critical blind spots for…

Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains. In the last few years, analysis of smart contracts has…

软件工程 · 计算机科学 2019-08-16 Chao Peng , Sefa Akca , Ajitha Rajan

Ethereum smart contracts are highly powerful, immutable, and able to retain massive amounts of tokens. However, smart contracts keep attracting attackers to benefit from smart contract flaws and Ethereum unexpected behavior. Thus,…

密码学与安全 · 计算机科学 2024-04-10 Wejdene Haouari , Abdelhakim Senhaji Hafid , Marios Fokaefs

Blockchain is a core technology to manage the value of cryptocurrencies, or to record trails of important business trades. The Smart Contract on blockchain is expected to improve security on blockchain system with automated operation, but…

密码学与安全 · 计算机科学 2020-01-07 Shingo Fujimoto , Yoshiki Higashikado , Takuma Takeuchi

Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of…

密码学与安全 · 计算机科学 2023-10-09 Majd Soud , Gísli Hjálmtýsson , Mohammad Hamdaqa

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…

软件工程 · 计算机科学 2021-07-06 Zhipeng Gao

Smart contracts are computer programs running on blockchains to implement Decentralized Applications. The absence of contract specifications hinders routine tasks, such as contract understanding and testing. In this work, we propose a…

软件工程 · 计算机科学 2025-04-30 Ye Liu , Yixuan Liu , Yi Li , Cyrille Artho

Tracking the evolution of smart contracts is challenging due to their immutable nature and complex upgrade mechanisms. We introduce EvoChain, a comprehensive framework and dataset designed to track and visualize smart contract evolution.…

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

Context: Decentralized applications on blockchain platforms are realized through smart contracts. However, participants who lack programming knowledge often have difficulties reading the smart contract source codes, which leads to potential…

软件工程 · 计算机科学 2022-01-11 Chaochen Shi , Yong Xiang , Jiangshan Yu , Keshav Sood , Longxiang Gao

Due to the immutable and decentralized nature of Ethereum (ETH) platform, smart contracts are prone to security risks that can result in financial loss. While existing machine learning-based vulnerability detection algorithms achieve high…

密码学与安全 · 计算机科学 2023-07-18 Christoph Sendner , Ruisi Zhang , Alexander Hefter , Alexandra Dmitrienko , Farinaz Koushanfar

Blockchain-based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of…

密码学与安全 · 计算机科学 2021-08-23 Fengkie Junis , Faisal Malik Widya Prasetya , Farouq Ibrahim Lubay , Anny Kartika Sari

The inherent determinism of blockchain technology poses a significant challenge to generating secure random numbers within smart contracts, leading to exploitable vulnerabilities, particularly in decentralized finance (DeFi) ecosystems and…

密码学与安全 · 计算机科学 2025-10-22 Hadis Rezaei , Ahmed Afif Monrat , Karl Andersson , Francesco Flammini

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

编程语言 · 计算机科学 2021-08-31 Thi Thu Ha Doan , Peter Thiemann

Blockchain technology has set off a wave of decentralization in the world since its birth. The trust system constructed by blockchain technology based on cryptography algorithm and computing power provides a practical and powerful solution…

计算工程、金融与科学 · 计算机科学 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete programming language called Solidity to develop smart contracts.…

编程语言 · 计算机科学 2018-04-05 Jiao Jiao , Shuanglong Kan , Shang-Wei Lin , David Sanan , Yang Liu , Jun Sun

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

分布式、并行与集群计算 · 计算机科学 2019-02-12 Martin Westerkamp

Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables…

密码学与安全 · 计算机科学 2018-07-06 TonTon Hsien-De Huang

While the blockchain-based smart contract has become a hot topic of research over the last decade, not the least in the context of Industry 4.0, it now has well-known legal and technical shortcomings that currently prohibit its real-world…

软件工程 · 计算机科学 2024-08-13 Emanuel Palm , Ulf Bodin , Olov Schelén

A smart Ponzi scheme is a new form of economic crime that uses Ethereum smart contract account and cryptocurrency to implement Ponzi scheme. The smart Ponzi scheme has harmed the interests of many investors, but researches on smart Ponzi…

机器学习 · 计算机科学 2021-08-24 Yuzhi Liang , Weijing Wu , Kai Lei , Feiyang Wang

Advances in quantum computing introduce long-term security challenges for widely deployed public-key cryptographic systems used across blockchain platforms and decentralized applications. Although post-quantum cryptography (PQC) standards…

密码学与安全 · 计算机科学 2026-05-19 Dongping Liu , Aoyu Zhang , Luyao Zhang