中文
相关论文

相关论文: Hunting DeFi Vulnerabilities via Context-Sensitive…

200 篇论文

Decentralized finance (DeFi) has the potential to disrupt centralized finance by validating peer-to-peer transactions through tamper-proof smart contracts, thus significantly lowering the transaction cost charged by financial…

综合经济学 · 经济学 2023-12-04 Ziqiao Ao , Lin William Cong , Gergely Horvath , Luyao Zhang

Decentralized Finance (DeFi) is increasingly studied and adopted for its potential to provide accessible and transparent financial services. Analyzing how investors use DeFi is important for reaching a better understanding of their usage…

社会与信息网络 · 计算机科学 2024-08-23 Natkamon Tovanich , Célestin Coquidé , Rémy Cazabet

Decentralized Finance (DeFi), a blockchain powered peer-to-peer financial system, is mushrooming. Two years ago the total value locked in DeFi systems was approximately 700m USD, now, as of April 2022, it stands at around 150bn USD. The…

密码学与安全 · 计算机科学 2022-09-16 Sam M. Werner , Daniel Perez , Lewis Gudgeon , Ariah Klages-Mundt , Dominik Harz , William J. Knottenbelt

This paper investigates the evolving landscape of decentralized finance (DeFi) by examining its foundational concepts, research trends, and ecosystem. A bibliometric analysis was conducted to identify thematic clusters and track the…

计算工程、金融与科学 · 计算机科学 2024-12-03 Carlos J. Costa

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

Automated detection of vulnerability-fixing commits (VFCs) is critical for timely security patch deployment, as advisory databases lag patch releases by a median of 25 days and many fixes never receive advisories. We present a comprehensive…

软件工程 · 计算机科学 2026-05-14 Nils Loose , Joseph Bienhüls , Kristoffer Hempel , Felix Mächtle , Thomas Eisenbarth

Data-driven research on the automated discovery and repair of security vulnerabilities in source code requires comprehensive datasets of real-life vulnerable code and their fixes. To assist in such research, we propose a method to…

软件工程 · 计算机科学 2022-02-08 Guru Prasad Bhandari , Amara Naseer , Leon Moonen

Recent progress in ML and LLMs has improved vulnerability detection, and recent datasets have reduced label noise and unrelated code changes. However, most existing approaches still operate at the function level, where models are asked to…

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

Vulnerable individuals have a limited ability to make reasonable financial decisions and choices and, thus, the level of care that is appropriate to be provided to them by financial institutions may be different from that required for other…

计算机与社会 · 计算机科学 2021-06-14 Tasos Spiliotopoulos , Dave Horsfall , Magdalene Ng , Kovila Coopamootoo , Aad van Moorsel , Karen Elliott

Lending protocols are one of the main applications of Decentralized Finance (DeFi), enabling crypto-assets loan markets with a total value estimated in the tens of billions of dollars. Unlike traditional lending systems, these protocols…

计算机科学与博弈论 · 计算机科学 2025-06-19 Massimo Bartoletti , Enrico Lipparini

The growing exploitation of Machine Learning (ML) in safety-critical applications necessitates rigorous safety analysis. Hardware reliability assessment is a major concern with respect to measuring the level of safety in ML-based systems.…

机器学习 · 计算机科学 2025-10-28 Mohammad Hasan Ahmadilivani , Jaan Raik , Masoud Daneshtalab , Maksim Jenihhin

Maximal Extractable Value (MEV) refers to a class of attacks to decentralized applications where the adversary profits by manipulating the ordering, inclusion, or exclusion of transactions in a blockchain. Decentralized Finance (DeFi)…

密码学与安全 · 计算机科学 2025-10-17 Massimo Bartoletti , Riccardo Marchesin , Roberto Zunino

This paper presents OVer, a framework designed to automatically analyze the behavior of decentralized finance (DeFi) protocols when subjected to a "skewed" oracle input. OVer firstly performs symbolic analysis on the given contract and…

软件工程 · 计算机科学 2024-01-12 Xun Deng , Sidi Mohamed Beillahi , Cyrus Minwalla , Han Du , Andreas Veneris , Fan Long

Most research efforts in the multimedia forensics domain have focused on detecting forgery audio-visual content and reached sound achievements. However, these works only consider deepfake detection as a classification task and ignore the…

计算机视觉与模式识别 · 计算机科学 2025-06-11 Qilin Yin , Wei Lu , Xiangyang Luo , Xiaochun Cao

Language models (LMs) show promise for vulnerability detection but struggle with long, real-world code due to sparse and uncertain vulnerability locations. These issues, exacerbated by token limits, often cause models to miss…

软件工程 · 计算机科学 2025-07-16 Xinran Zheng , Xingzhi Qian , Huichi Zhou , Shuo Yang , Yiling He , Suman Jana , Lorenzo Cavallaro

Memory corruption vulnerabilities remain one of the most severe threats to software security. They often allow attackers to achieve arbitrary code execution by redirecting a vulnerable program's control flow. While Control Flow Integrity…

密码学与安全 · 计算机科学 2025-08-22 Sabine Houy , Bruno Kreyssig , Timothee Riom , Alexandre Bartel , Patrick McDaniel

Software vulnerabilities (SVs) have emerged as a prevalent and critical concern for safety-critical security systems. This has spurred significant advancements in utilizing AI-based methods, including machine learning and deep learning, for…

软件工程 · 计算机科学 2025-10-07 Van Nguyen , Surya Nepal , Tingmin Wu , Xingliang Yuan , Carsten Rudolph

It is increasingly suggested to identify Software Vulnerabilities (SVs) in code commits to give early warnings about potential security risks. However, there is a lack of effort to assess vulnerability-contributing commits right after they…

软件工程 · 计算机科学 2021-08-19 Triet H. M. Le , David Hin , Roland Croft , M. Ali Babar

Software vulnerabilities represent one of the most pressing threats to computing systems. Identifying vulnerabilities in source code is crucial for protecting user privacy and reducing economic losses. Traditional static analysis tools rely…

软件工程 · 计算机科学 2024-10-25 Zhonghao Jiang , Weifeng Sun , Xiaoyan Gu , Jiaxin Wu , Tao Wen , Haibo Hu , Meng Yan