中文
相关论文

相关论文: HFContractFuzzer: Fuzzing Hyperledger Fabric Smart…

200 篇论文

Decentralization, in the form of mesh networking and blockchain, two promising technologies, is coming to the telecommunications industry. Mesh networking allows wider low cost Internet access with infrastructures built from routers…

网络与互联网体系结构 · 计算机科学 2019-04-03 Aniruddh Rao Kabbinale , Emmanouil Dimogerontakis , Mennan Selimi , Anwaar Ali , Leandro Navarro , Arjuna Sathiaseelan , Jon Crowcroft

Since the beginning of this decade, several incidents report that false data injection attacks targeting intelligent connected vehicles cause huge industrial damage and loss of lives. Data Theft, Flooding, Fuzzing, Hijacking, Malware…

密码学与安全 · 计算机科学 2023-08-21 Ziaur Rahman , Xun Yi , Ibrahim Khalil , Adnan Anwar , Shantanu Pal

Solana has quickly emerged as a popular platform for building decentralized applications (DApps), such as marketplaces for non-fungible tokens (NFTs). A key reason for its success are Solana's low transaction fees and high performance,…

密码学与安全 · 计算机科学 2024-12-17 Sven Smolka , Jens-Rene Giesen , Pascal Winkler , Oussama Draissi , Lucas Davi , Ghassan Karame , Klaus Pohl

The rapid integration of IoT with edge computing has revolutionized various domains, particularly healthcare, by enabling real-time data sharing, remote monitoring, and decision-making. However, it introduces critical challenges, including…

密码学与安全 · 计算机科学 2026-01-16 Khushbakht Farooq , Muhammad Ibrahim , Irsa Manzoor , Mukhtaj Khan , Wei Song

Software vulnerabilities are constantly being reported and exploited in software products, causing significant impacts on society. In recent years, the main approach to vulnerability detection, fuzzing, has been integrated into the…

软件工程 · 计算机科学 2025-10-21 Tatsuya Shirai , Olivier Nourry , Yutaro Kashiwa , Kenji Fujiwara , Yasutaka Kamei , Hajimu Iida

Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications of smart contracts. HighGuard employs dynamic condition…

密码学与安全 · 计算机科学 2025-02-18 Mojtaba Eshghie , Wolfgang Ahrendt , Cyrille Artho , Thomas Troels Hildebrandt , Gerardo Schneider

The immutable and trustable characteristics of blockchain enable smart contracts to be applied in various fields. Unfortunately, smart contracts are subject to various vulnerabilities, which are frequently exploited by attackers, causing…

密码学与安全 · 计算机科学 2023-06-08 Haiyang Liu , Yuqi Fan , Lin Feng , Zhenchun Wei

With the booming development of blockchain technology, smart contracts have been widely used in finance, supply chain, Internet of things and other fields in recent years. However, the security problems of smart contracts become…

密码学与安全 · 计算机科学 2026-02-03 Huanhuan Zou , Zongwei Li , Xiaoqi Li

With the escalating prevalence of malicious activities exploiting vulnerabilities in blockchain systems, there is an urgent requirement for robust attack detection mechanisms. To address this challenge, this paper presents a novel…

Smart contract is the building block of blockchain systems that enables automated peer-to-peer transactions and decentralized services. With the increasing popularity of smart contracts, blockchain systems, in particular Ethereum, have been…

密码学与安全 · 计算机科学 2021-05-24 Huiwen Hu , Yuedong Xu

The increasing availability of data from diverse sources, including trusted entities such as governments, as well as untrusted crowd-sourced contributors, demands a secure and trustworthy environment for storage and retrieval. Blockchain,…

分布式、并行与集群计算 · 计算机科学 2025-03-27 Aishwarya Parab , Prakhar Pradhan , Yogesh Simmhan , Arnab K. Paul

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

软件工程 · 计算机科学 2021-03-24 Jiachi Chen , Xin Xia , David Lo , John Grundy , Xiapu Luo , Ting Chen

Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks, requiring the identification of vulnerabilities and unintended emergent behaviors from protocol…

密码学与安全 · 计算机科学 2023-07-24 Jingda Yang , Sudhanshu Arya , Ying Wang

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

密码学与安全 · 计算机科学 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Blockchain technologies are on the rise, and Hyperledger Fabric is one of the most popular permissioned blockchain platforms. In this paper, we re-architect the validation phase of Fabric based on our analysis from fine-grained breakdown of…

分布式、并行与集群计算 · 计算机科学 2019-07-22 Haris Javaid , Chengchen Hu , Gordon Brebner

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…

密码学与安全 · 计算机科学 2021-05-17 Noama Fatima Samreen , Manar H. Alalfi

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart…

软件工程 · 计算机科学 2020-05-21 Zhipeng Gao , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

Blockchain technology promises to revolutionize manufacturing industries. For example, several supply-chain use-cases may benefit from transparent asset tracking and automated processes using smart contracts. Several real-world deployments…

分布式、并行与集群计算 · 计算机科学 2020-11-24 Christina Müller , Marcus Brandenburger , Christian Cachin , Pascal Felber , Christian Göttel , Valerio Schiavoni

Smart contracts play a pivotal role in blockchain ecosystems, and fuzzing remains an important approach to securing smart contracts. Even though mutation scheduling is a key factor influencing fuzzing effectiveness, existing fuzzers have…

软件工程 · 计算机科学 2025-07-17 Keke Gai , Haochen Liang , Jing Yu , Liehuang Zhu , Dusit Niyato