English
Related papers

Related papers: Elysium: Context-Aware Bytecode-Level Patching to …

200 papers

Due to the modern relevance of blockchain technology, smart contracts present both substantial risks and benefits. Vulnerabilities within them can trigger a cascade of consequences, resulting in significant losses. Many current papers…

Cryptography and Security · Computer Science 2023-09-15 Abhinav Jain , Ehan Masud , Michelle Han , Rohan Dhillon , Sumukh Rao , Arya Joshi , Salar Cheema , Saurav Kumar

Smart contracts are self-executing programs that run on blockchains (e.g., Ethereum). 680 million US dollars worth of digital assets controlled by smart contracts have been hacked or stolen due to various security vulnerabilities in 2021.…

Cryptography and Security · Computer Science 2022-04-26 Tanusree Sharma , Zhixuan Zhou , Andrew Miller , Yang Wang

While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks. Due to the fact that transactions to smart contracts commonly involve cryptocurrency…

Software Engineering · Computer Science 2019-06-12 Jianbo Gao , Han Liu , Chao Liu , Qingshan Li , Zhi Guan , Zhong Chen

Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation…

Cryptography and Security · Computer Science 2019-06-10 Wesley Joon-Wie Tann , Xing Jie Han , Sourav Sen Gupta , Yew-Soon Ong

Many empirical software engineering studies show that there is a great need for repositories where source code is acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular…

Software Engineering · Computer Science 2020-11-04 Giuseppe Antonio Pierro , Roberto Tonelli , Michele Marchesi

Software development is a very broad activity that captures the entire life cycle of a software, which includes designing, programming, maintenance and so on. In this study, we focus on the maintenance-related concerns of the…

Software Engineering · Computer Science 2021-08-18 Jiachi Chen , Xin Xia , David Lo , John Grundy , Xiaohu Yang

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challenge across the stages…

Cryptography and Security · Computer Science 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they do…

Computation and Language · Computer Science 2026-02-03 Zongwei Li , Xiaoqi Li , Wenkai Li , Xin Wang

Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart…

Software Engineering · Computer Science 2024-03-19 Zexu Wang , Jiachi Chen , Yanlin Wang , Yu Zhang , Weizhe Zhang , Zibin Zheng

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-24 Khalid Hassan , Saeed Moradi , Shaiful Chowdhury , Sara Rouhani

Ethereum Smart Contracts based on Blockchain Technology (BT) enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum Smart Contracts are programs that are deployed as…

Cryptography and Security · Computer Science 2022-03-03 Noama Fatima Samreen , Manar H. Alalfi

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…

Logic in Computer Science · Computer Science 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro

Recent years have seen smart contracts are getting increasingly popular in building trustworthy decentralized applications. Previous research has proposed static and dynamic techniques to detect vulnerabilities in smart contracts. These…

Software Engineering · Computer Science 2022-07-06 Jiaming Ye , Mingliang Ma , Yun Lin , Lei Ma , Yinxing Xue , Jianjun Zhao

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),…

Cryptography and Security · Computer Science 2025-10-23 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Tarannum Shaila Zaman , Tariqul Islam

In the blockchain-based, distributed computing platform Ethereum, programs called smart contracts are compiled to bytecode and executed on the Ethereum Virtual Machine (EVM). Executing EVM bytecode is subject to monetary fees---a clear…

Logic in Computer Science · Computer Science 2020-05-13 Julian Nagele , Maria A Schett

Smart contracts are small programs that run autonomously on the blockchain, using it as their persistent memory. The predominant platform for smart contracts is the Ethereum VM (EVM). In EVM smart contracts, a problem with significant…

Programming Languages · Computer Science 2025-12-01 Sifis Lagouvardos , Yannis Bollanos , Michael Debono , Neville Grech , Yannis Smaragdakis

The proxy pattern is a well-known design pattern with numerous use cases in several sectors of the software industry. As such, the use of the proxy pattern is also a common approach in the development of complex decentralized applications…

Software Engineering · Computer Science 2025-01-03 Amir M. Ebrahimi , Bram Adams , Gustavo A. Oliva , Ahmed E. Hassan

As transaction fees skyrocket today, blockchains become increasingly expensive, hurting their adoption in broader applications. This work tackles the saving of transaction fees for economic blockchain applications. The key insight is that…

Cryptography and Security · Computer Science 2022-10-11 Yibo Wang , Yuzhe Tang

Blockchain technology has revolutionized contractual processes, enhancing efficiency and trust through smart contracts. Ethereum, as a pioneer in this domain, offers a platform for decentralized applications but is challenged by the…

Cryptography and Security · Computer Science 2025-04-16 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Sarker Ahmed Rumee , Moinul Zaber , Tariqul Islam

The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to prominence, with applications predicted in law, business,…

Programming Languages · Computer Science 2018-09-12 Lexi Brent , Anton Jurisevic , Michael Kong , Eric Liu , Francois Gauthier , Vincent Gramoli , Ralph Holz , Bernhard Scholz