中文
相关论文

相关论文: Metamorphic Testing for Smart Contract Vulnerabili…

200 篇论文

This paper introduces a method for detecting vulnerabilities in smart contracts using static analysis and a multi-objective optimization algorithm. We focus on four types of vulnerabilities: reentrancy, call stack overflow, integer…

软件工程 · 计算机科学 2024-10-02 Dongcheng Li , W. Eric Wong , Xiaodan Wang , Sean Pan , Liang-Seng Koh

This paper serves as a progress report on our research, specifically focusing on utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in smart contracts. We present a selection of motivating…

软件工程 · 计算机科学 2023-09-26 Ştefan-Claudiu Susan , Andrei Arusoaie

Smart contracts are self-enforcing agreements that are employed to exchange assets without the approval of trusted third parties. This feature has encouraged various sectors to make use of smart contracts when transacting. Experience shows…

密码学与安全 · 计算机科学 2021-03-18 Sabreen Ahmadjee , Carlos Mera-Gómez , Rami Bahsoon

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 automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of…

软件工程 · 计算机科学 2021-06-08 Xiao Liang Yu , Omar Al-Bataineh , David Lo , Abhik Roychoudhury

In the growing field of blockchain technology, smart contracts exist as transformative digital agreements that execute transactions autonomously in decentralised networks. However, these contracts face challenges in the form of security…

密码学与安全 · 计算机科学 2024-07-12 Christopher De Baets , Basem Suleiman , Armin Chitizadeh , Imran Razzak

Smart contracts are programs that execute transactions involving independent parties and cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and vulnerabilities. Such vulnerabilities can result in…

密码学与安全 · 计算机科学 2023-07-03 Sundas Munir , Walid Taha

With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, resulting in significant financial losses. In response,…

密码学与安全 · 计算机科学 2024-08-13 Zhiyuan Wei , Jing Sun , Zijian Zhang , Xianhao Zhang , Xiaoxuan Yang , Liehuang Zhu

Smart contracts are the cornerstone of decentralized applications and financial protocols, which extend the application of digital currency transactions. The applications and financial protocols introduce significant security challenges,…

密码学与安全 · 计算机科学 2025-04-22 Hongli Peng , Xiaoqi Li , Wenkai Li

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

软件工程 · 计算机科学 2026-03-25 Gerardo Iuliano , Dario Di Nucci

It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and…

软件工程 · 计算机科学 2020-01-23 Pieter Hartel , Richard Schumi

While smart contracts are foundational elements of blockchain applications, their inherent susceptibility to security vulnerabilities poses a significant challenge. Existing training datasets employed for vulnerability detection tools may…

密码学与安全 · 计算机科学 2024-10-31 Cuong Tran Manh , Hieu Dinh Vo

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

Blockchain platforms and smart contracts are vulnerable to security breaches. Security breaches of smart contracts have led to huge financial losses in terms of cryptocurrencies and tokens. In this paper, we present a systematic survey of…

密码学与安全 · 计算机科学 2022-12-16 S. Vani , M. Doshi , A. Nanavati , A. Kundu

Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockchain, no change is possible on a deployed smart contract or…

软件工程 · 计算机科学 2019-12-25 Erfan Andesta , Fathiyeh Faghih , Mahdi Fooladgar

In recent years we have witnessed a dramatic increase in the adoption and application of smart contracts in a variety of contexts such as decentralized finance, supply chain management, and identity management. However, a critical stumbling…

密码学与安全 · 计算机科学 2024-10-22 Behkish Nassirzadeh , Huaiying Sun , Sebastian Banescu , Vijay Ganesh

Smart contracts are central to a myriad of critical blockchain applications, from financial transactions to supply chain management. However, their adoption is hindered by security vulnerabilities that can result in significant financial…

密码学与安全 · 计算机科学 2025-09-30 Dalila Ressi , Alvise Spanò , Lorenzo Benetollo , Carla Piazza , Michele Bugliesi , Sabina Rossi

Poorly designed smart contracts are particularly vulnerable, as they may allow attackers to exploit weaknesses and steal the virtual currency they manage. In this study, we train a model using unsupervised learning to identify…

密码学与安全 · 计算机科学 2025-04-15 Hong-Sheng Huang , Jen-Yi Ho , Hao-Wen Chen , Hung-Min Sun

Smart contract technology facilitates self-executing agreements on the blockchain, eliminating dependency on an external trusted authority. However, smart contracts may expose vulnerabilities that can lead to financial losses and…

密码学与安全 · 计算机科学 2026-01-14 Emre Balci , Timucin Aydede , Gorkem Yilmaz , Ece Gelal Soyak

Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

密码学与安全 · 计算机科学 2025-06-10 Mesut Ozdag
‹ 上一页 1 2 3 10 下一页 ›