English
Related papers

Related papers: ESCORT: Ethereum Smart COntRacTs Vulnerability Det…

200 papers

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…

Cryptography and Security · Computer Science 2023-04-10 Sajad Meisami , William Edward Bodell

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

Reentrancy, a notorious vulnerability in smart contracts, has led to millions of dollars in financial loss. However, current smart contract vulnerability detection tools suffer from a high false positive rate in identifying contracts with…

Cryptography and Security · Computer Science 2024-03-29 Shuo Yang , Jiachi Chen , Mingyuan Huang , Zibin Zheng , Yuan Huang

With the rapid growth of blockchain, an increasing number of users have been attracted and many implementations have been refreshed in different fields. Especially in the cryptocurrency investment field, blockchain technology has shown…

Cryptography and Security · Computer Science 2021-04-20 Shanqing Yu , Jie Jin , Yunyi Xie , Jie Shen , Qi Xuan

As one of the representative Delegated Proof-of-Stake (DPoS) blockchain platforms, EOSIO's ecosystem grows rapidly in recent years. A number of vulnerabilities and corresponding attacks of EOSIO's smart contracts have been discovered and…

Cryptography and Security · Computer Science 2019-06-26 Lijin Quan , Lei Wu , Haoyu Wang

Phishing detection on Ethereum has increasingly leveraged advanced machine learning techniques to identify fraudulent transactions. However, limited attention has been given to understanding the effectiveness of feature selection strategies…

Cryptography and Security · Computer Science 2025-04-28 Ahod Alghuried , Abdulaziz Alghamdi , Ali Alkinoon , Soohyeon Choi , Manar Mohaisen , David Mohaisen

Smart Contracts (SCs) in Ethereum can automate tasks and provide different functionalities to a user. Such automation is enabled by the `Turing-complete' nature of the programming language (Solidity) in which SCs are written. This also…

Cryptography and Security · Computer Science 2021-06-28 Rachit Agarwal , Tanmay Thapliyal , Sandeep Kumar Shukla

Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the…

Software Engineering · Computer Science 2021-03-24 Jiachi Chen , Xin Xia , David Lo , John Grundy , Xiapu Luo , Ting Chen

Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This trend highlights the crucial need for advanced forensic analysis…

Cryptography and Security · Computer Science 2025-04-15 Kaihua Qin , Zhe Ye , Zhun Wang , Weilin Li , Liyi Zhou , Chao Zhang , Dawn Song , Arthur Gervais

The Ponzi scheme, an old-fashioned fraud, is now popular on the Ethereum blockchain, causing considerable financial losses to many crypto investors. A few Ponzi detection methods have been proposed in the literature, most of which detect a…

Cryptography and Security · Computer Science 2024-07-19 Phuong Duy Huynh , Son Hoang Dau , Xiaodong Li , Phuc Luong , Emanuele Viterbo

The proxy design pattern allows Ethereum smart contracts to be simultaneously immutable and upgradeable, in which an original contract is split into a proxy contract containing the data storage and a logic contract containing the…

Cryptography and Security · Computer Science 2024-09-23 Cheng-Kang Chen , Wen-Yi Chu , Muoi Tran , Laurent Vanbever , Hsu-Chun Hsiao

Blockchain technology has been successfully exploited for deploying new economic applications. However, it has started arousing the interest of malicious actors who deliver scams to deceive honest users and to gain economic advantages.…

Cryptography and Security · Computer Science 2024-04-19 Letterio Galletta , Fabio Pinelli

Ethereum has officially provided a set of system-level cryptographic APIs to enhance smart contracts with cryptographic capabilities. These APIs have been utilized in over 10% of Ethereum transactions, motivating developers to implement…

Cryptography and Security · Computer Science 2024-08-12 Jiashuo Zhang , Yiming Shen , Jiachi Chen , Jianzhong Su , Yanlin Wang , Ting Chen , Jianbo Gao , Zhong Chen

Recent years have witnessed explosive growth in blockchain smart contract applications. As smart contracts become increasingly popular and carry trillion dollars worth of digital assets, they become more of an appealing target for…

Software Engineering · Computer Science 2023-04-26 Peng Qian , Jianting He , Lingling Lu , Siwei Wu , Zhipeng Lu , Lei Wu , Yajin Zhou , Qinming He

Smart contracts are increasingly used in critical use cases (e.g., financial transactions). Thus, it is pertinent to ensure that end-users understand the transfer risks in smart contracts. To address this, we investigate end-user…

Software Engineering · Computer Science 2025-01-20 Yustynn Panicker , Ezekiel Soremekun , Sudipta Chattopadhyay , Sumei Sun

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…

Cryptography and Security · Computer Science 2019-02-26 Chao Li , Balaji Palanisamy , Runhua Xu

Smart contracts are essential for managing digital assets in blockchain networks, highlighting the need for effective security measures. This paper introduces SmartLLMSentry, a novel framework that leverages large language models (LLMs),…

Cryptography and Security · Computer Science 2024-12-02 Oualid Zaazaa , Hanan El Bakkali

Smart contracts on Ethereum handle millions of U.S. Dollars and other financial assets. In the past, attackers have exploited smart contracts to steal these assets. The Ethereum community has developed plenty of tools to detect vulnerable…

Cryptography and Security · Computer Science 2022-02-28 Chavhan Sujeet Yashavant , Saurabh Kumar , Amey Karkare

As blockchain technology becomes more and more popular, a typical financial scam, the Ponzi scheme, has also emerged in the blockchain platform Ethereum. This Ponzi scheme deployed through smart contracts, also known as the smart Ponzi…

Software Engineering · Computer Science 2024-03-01 Pengcheng Lu , Liang Cai , Keting Yin

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

Programming Languages · Computer Science 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach
‹ Prev 1 3 4 5 6 7 10 Next ›