中文
相关论文

相关论文: UEChecker: Detecting Unchecked External Call Vulne…

200 篇论文

Discovering vulnerabilities in applications of real-world complexity is a daunting task: a vulnerability may affect a single line of code, and yet it compromises the security of the entire application. Even worse, vulnerabilities may…

密码学与安全 · 计算机科学 2020-12-10 Gabriele Costa , Andrea Valenza

Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables…

密码学与安全 · 计算机科学 2018-07-06 TonTon Hsien-De Huang

Graph Neural Networks (GNNs) have achieved promising results in various tasks such as node classification and graph classification. Recent studies find that GNNs are vulnerable to adversarial attacks. However, effective backdoor attacks on…

密码学与安全 · 计算机科学 2023-03-03 Enyan Dai , Minhua Lin , Xiang Zhang , Suhang Wang

Deep learning systems have become ubiquitous in many aspects of our lives. Unfortunately, it has been shown that such systems are vulnerable to adversarial attacks, making them prone to potential unlawful uses. Designing deep neural…

机器学习 · 计算机科学 2018-06-04 Jan Svoboda , Jonathan Masci , Federico Monti , Michael M. Bronstein , Leonidas Guibas

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

Recently, deep learning has demonstrated promising results in enhancing the accuracy of vulnerability detection and identifying vulnerabilities in software. However, these techniques are still vulnerable to attacks. Adversarial examples can…

密码学与安全 · 计算机科学 2024-07-30 Shigang Liu , Di Cao , Junae Kim , Tamas Abraham , Paul Montague , Seyit Camtepe , Jun Zhang , Yang Xiang

In recent years, cyberattacks - along with physical faults - have become an increasing factor causing system failures, especially in DER (Distributed Energy Resources) systems. In addition, according to the literature, a number of faults…

密码学与安全 · 计算机科学 2026-01-08 Mohammad Shamim Ahsan , Haizhou Wang , Venkateswara Reddy Motakatla , Minghui Zhu , Peng Liu

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 a secure and trustworthy application that plays a vital role in decentralized applications in various fields such as insurance,the internet, and gaming. However, in recent years, smart contract security breaches have…

密码学与安全 · 计算机科学 2026-01-19 Jixuan Wu , Lei Xie , Xiaoqi Li

Graph Anomaly Detection (GAD) has recently become a hot research spot due to its practicability and theoretical value. Since GAD emphasizes the application and the rarity of anomalous samples, enriching the varieties of its datasets is…

社会与信息网络 · 计算机科学 2023-06-12 Xuanwen Huang , Yang Yang , Yang Wang , Chunping Wang , Zhisheng Zhang , Jiarong Xu , Lei Chen , Michalis Vazirgiannis

Software vulnerabilities are a challenge in cybersecurity. Manual security patches are often difficult and slow to be deployed, while new vulnerabilities are created. Binary code vulnerability detection is less studied and more complex…

密码学与安全 · 计算机科学 2024-04-15 Litao Li , Steven H. H. Ding , Andrew Walenstein , Philippe Charland , Benjamin C. M. Fung

Deep neural networks (DNNs) have achieved significant performance in various tasks. However, recent studies have shown that DNNs can be easily fooled by small perturbation on the input, called adversarial attacks. As the extensions of DNNs…

机器学习 · 计算机科学 2020-12-15 Wei Jin , Yaxin Li , Han Xu , Yiqi Wang , Shuiwang Ji , Charu Aggarwal , Jiliang Tang

While catastrophic attacks on Ethereum persist, vulnerability research remains fixated on implementation-level smart contract bugs, creating a gap between academic understanding of vulnerabilities and the root causes of high-impact,…

密码学与安全 · 计算机科学 2025-09-11 Hadis Rezaei , Mojtaba Eshghie , Karl Anderesson , Francesco Palmieri

Smart contracts extended blockchain functionality beyond simple transactions, powering complex applications like decentralized finance (DeFi). However, this complexity introduces serious security challenges, including price manipulation and…

密码学与安全 · 计算机科学 2026-04-21 Bowen Cai , Weiheng Bai , Hangyun Tang , Youshui Lu , Kangjie Lu

The growing dependence of software projects on external libraries has generated apprehensions regarding the security of these libraries because of concealed vulnerabilities. Handling these vulnerabilities presents difficulties due to the…

软件工程 · 计算机科学 2023-09-18 Hieu Dinh Vo , Thanh Trong Vu , Son Nguyen

Deep learning models are widely employed in safety-critical applications yet remain susceptible to adversarial attacks -- imperceptible perturbations that can significantly degrade model performance. Conventional defense mechanisms…

计算机视觉与模式识别 · 计算机科学 2025-10-28 Eylon Mizrahi , Raz Lapid , Moshe Sipper

Ability to effectively investigate indicators of compromise and associated network resources involved in cyber attacks is paramount not only to identify affected network resources but also to detect related malicious resources. Today, most…

Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking…

编程语言 · 计算机科学 2018-01-15 Shelly Grossman , Ittai Abraham , Guy Golan-Gueta , Yan Michalevsky , Noam Rinetzky , Mooly Sagiv , Yoni Zohar

Context: Smart contract vulnerabilities pose significant security risks for the Ethereum ecosystem, driving the development of automated tools for detection and mitigation. Smart contracts are written in Solidity, a programming language…

软件工程 · 计算机科学 2025-04-09 Gerardo Iuliano , Davide Corradini , Michele Pasqua , Mariano Ceccato , Dario Di Nucci

Fuzzing is a widely used technique for detecting vulnerabilities in smart contracts, which generates transaction sequences to explore the execution paths of smart contracts. However, existing fuzzers are falling short in detecting…

密码学与安全 · 计算机科学 2025-11-18 Jie Chen , Liangmin Wang