中文
相关论文

相关论文: Safeguarding DeFi Smart Contracts against Oracle D…

200 篇论文

Agreement protocols are crucial in various emerging applications, spanning from distributed (blockchains) oracles to fault-tolerant cyber-physical systems. In scenarios where sensor/oracle nodes measure a common source, maintaining output…

分布式、并行与集群计算 · 计算机科学 2024-05-08 Akhil Bandarupalli , Adithya Bhat , Saurabh Bagchi , Aniket Kate , Chen-Da Liu-Zhang , Michael K. Reiter

Decentralized Autonomous Organizations (DAOs) have emerged as a novel governance mechanism in blockchain ecosystems, particularly within Decentralized Finance (DeFi). By enabling token holders to propose and vote on protocol changes, these…

密码学与安全 · 计算机科学 2025-07-22 Johnnatan Messias , Vabuk Pahari , Balakrishnan Chandrasekaran , Krishna P. Gummadi , Patrick Loiseau

Smart contract-enabled blockchains allow building decentralized applications in which mutually-distrusted parties can work together. Recently, oracle services emerged to provide these applications with real-world data feeds. Unfortunately,…

计算机科学与博弈论 · 计算机科学 2021-12-24 Z. Motaqy , G. Almashaqbeh , B. Bahrak , N. Yazdani

Smart contracts have been a topic of interest in blockchain research and are a key enabling technology for Connected Autonomous Vehicles (CAVs) in the era of Web 3.0. These contracts enable trustless interactions without the need for…

密码学与安全 · 计算机科学 2025-05-20 Xingchen Sun , Runhua Xu , Wei Ni , Li Duan , Chao Li

With the rapid growth of blockchain technology, smart contracts are now crucial to Decentralized Finance (DeFi) applications. Effective vulnerability detection is vital for securing these contracts against hackers and enhancing the accuracy…

软件工程 · 计算机科学 2024-12-25 Jango Zhang

Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a smart contract is difficult, which complicates development,…

软件工程 · 计算机科学 2018-07-23 Florentin Guth , Valentin Wüstholz , Maria Christakis , Peter Müller

Internet of Things (IoT) is now evolving into a loosely coupled, decentralized system of cooperating smart objects, where high- speed data processing, analytics and shorter response times are becoming more necessary than ever. Such…

密码学与安全 · 计算机科学 2018-04-09 Gokhan Sagirlar , Barbara Carminati , Elena Ferrari

Opening up data produced by the Internet of Things (IoT) and mobile devices for public utilization can maximize their economic value. Challenges remain in the trustworthiness of the data sources and the security of the trading process,…

密码学与安全 · 计算机科学 2025-11-25 Yue Li , Ifteher Alom , Wenhai Sun , Yang Xiao

In recent years, smart contracts have suffered major exploits, costing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they cannot be modified once deployed. Though various tools have…

The proposed smart contract can prevent seven cyber attacks, such as Denial of Service (DoS), Man in the Middle Attack (MITM), Distributed Denial of Service (DDoS), 51\%, Injection attacks, Routing Attack, and Eclipse attack. The Delegated…

密码学与安全 · 计算机科学 2022-07-20 Amrutanshu Panigrahi , Ajit Kumar Nayak , Rourab Paul

The introduction of smart contract functionality marks the advent of the blockchain 2.0 era, enabling blockchain technology to support digital currency transactions and complex distributed applications. However, many smart contracts have…

密码学与安全 · 计算机科学 2026-01-16 Hongli Peng , Xiaoqi Li , Wenkai Li

Decentralized Finance (DeFi) is a nascent set of financial services, using tokens, smart contracts, and blockchain technology as financial instruments. We investigate four possible drivers of DeFi returns: exposure to cryptocurrency market,…

计算金融 · 定量金融 2024-03-07 Florentina Şoiman , Guillaume Dumas , Sonia Jimenez-Garces

The advent of smart contracts has enabled the rapid rise of Decentralized Finance (DeFi) on the Ethereum blockchain, offering substantial rewards in financial innovation and inclusivity. This growth, however, is accompanied by significant…

社会与信息网络 · 计算机科学 2026-05-05 Shabnam Fazliani , Mohammad Mowlavi Sorond , Arsalan Masoudifard

The rapid growth of decentralized finance (DeFi) has led to the widespread use of automated agents, or bots, within blockchain ecosystems like Ethereum, Binance Smart Chain, and Solana. While these bots enhance market efficiency and…

The wide application of Ethereum technology has brought technological innovation to traditional industries. As one of Ethereum's core applications, smart contracts utilize diverse contract codes to meet various functional needs and have…

密码学与安全 · 计算机科学 2024-07-02 Jiacheng Yao , Maolin Wang , Wanqi Chen , Chengxiang Jin , Jiajun Zhou , Shanqing Yu , Qi Xuan

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

Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofing. However, attacks targeting DeFi services have severely…

软件工程 · 计算机科学 2024-04-17 Yepeng Ding , Arthur Gervais , Roger Wattenhofer , Hiroyuki Sato

As cloud providers push multi-tenancy to new levels to meet growing scalability demands, ensuring that externally developed untrusted microservices will preserve tenant isolation has become a high priority. Developers, in turn, lack a means…

密码学与安全 · 计算机科学 2021-06-21 Marcela S. Melara , Mic Bowman

As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges (DEXs) with automated market maker (AMM) protocols have gained massive traction with the recently revived interest in blockchain and distributed…

交易与市场微观结构 · 定量金融 2023-03-16 Jiahua Xu , Krzysztof Paruch , Simon Cousaert , Yebo Feng

At present, millions of Ethereum smart contracts are created per year and attract financially motivated attackers. However, existing analyzers do not meet the need to precisely analyze the financial security of large numbers of contracts.…

密码学与安全 · 计算机科学 2024-03-06 Wansen Wang , Wenchao Huang , Zhaoyi Meng , Yan Xiong , Fuyou Miao , Xianjin Fang , Caichang Tu , Renjie Ji