中文
相关论文

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

200 篇论文

Fuzzing is one of the most effective technique to identify potential software vulnerabilities. Most of the fuzzers aim to improve the code coverage, and there is lack of directedness (e.g., fuzz the specified path in a software). In this…

密码学与安全 · 计算机科学 2020-10-26 Xiaogang Zhu , Shigang Liu , Xian Li , Sheng Wen , Jun Zhang , Camtepe Seyit , Yang Xiang

Large language models (LLMs) need reliable test-time control of hallucinations. Existing conformal methods for LLMs typically provide only \emph{marginal} guarantees and rely on a single global threshold, which can under-cover hard prompts,…

机器学习 · 计算机科学 2026-03-31 Kai Ye , Qingtao Pan , Shuo Li

This paper presents the Cybersecurity Psychology Framework (CPF), a novel methodology for quantifying human-centric vulnerabilities in security operations through systematic integration of established psychological constructs with…

密码学与安全 · 计算机科学 2025-10-14 Giuseppe Canale

Connected vehicles (CVs), because of the external connectivity with other CVs and connected infrastructure, are vulnerable to cyberattacks that can instantly compromise the safety of the vehicle itself and other connected vehicles and…

密码学与安全 · 计算机科学 2021-08-04 Sakib Mahmud Khan , Gurcan Comert , Mashrur Chowdhury

Causal discovery is central to inferring causal relationships from observational data. In the presence of latent confounding, algorithms such as Fast Causal Inference (FCI) learn a Partial Ancestral Graph (PAG) representing the true model's…

机器学习 · 计算机科学 2025-05-13 Adèle H. Ribeiro , Dominik Heider

Autonomous Vehicle (AV) requires rigorous testing in safety-critical scenarios for safety validation, yet its validation is hindered by the high cost of field testing and the lack of fidelity in current simulations for rare safety-critical…

机器人学 · 计算机科学 2026-05-19 Hongyi Zhao , Shuo Wang , Qijie He , Ziyuan Pu

Safety-critical planning in complex environments, particularly at urban intersections, remains a fundamental challenge for autonomous driving. Existing methods, whether rule-based or data-driven, frequently struggle to capture complex scene…

计算机视觉与模式识别 · 计算机科学 2026-05-12 Kefei Tian , Yuansheng Lian , Kai Yang , Xiangdong Chen , Shen Li

Traditional machine learning relies on a centralized data pipeline, i.e., data are provided to a central server for model training. In many applications, however, data are inherently fragmented. Such a decentralized nature of these…

The rapid growth and adoption of decentralized finance (DeFi) systems have been accompanied by various threats, notably those emerging from vulnerabilities in their intricate design. In our work, we introduce and define an attack strategy…

密码学与安全 · 计算机科学 2023-10-03 Weilin Li , Zhun Wang , Chenyu Li , Heying Chen , Taiyu Wong , Pengyu Sun , Yufei Yu , Chao Zhang

Dense video captioning jointly localizes and captions salient events in untrimmed videos. Recent methods primarily focus on leveraging additional prior knowledge and advanced multi-task architectures to achieve competitive performance.…

计算机视觉与模式识别 · 计算机科学 2025-11-14 Mingda Jia , Weiliang Meng , Zenghuang Fu , Yiheng Li , Qi Zeng , Yifan Zhang , Ju Xin , Rongtao Xu , Jiguang Zhang , Xiaopeng Zhang

Evaluating and improving the security capabilities of code agents requires high-quality, executable vulnerability tasks. However, existing works rely on costly, unscalable manual reproduction and suffer from outdated data distributions. To…

密码学与安全 · 计算机科学 2026-05-19 Xianzhen Luo , Jingyuan Zhang , Shiqi Zhou , Rain Huang , Chuan Xiao , Qingfu Zhu , Zhiyuan Ma , Xing Yue , Yang Yue , Wencong Zeng , Wanxiang Che

Recent Pwn2Own competitions have demonstrated the continued effectiveness of control hijacking attacks despite deployed countermeasures including stack canaries and ASLR. A powerful defense called Control flow Integrity (CFI) offers a…

密码学与安全 · 计算机科学 2014-08-08 Ali Jose Mashtizadeh , Andrea Bittau , David Mazieres , Dan Boneh

Context-Aware Emotion Recognition (CAER) is a crucial and challenging task that aims to perceive the emotional states of the target person with contextual information. Recent approaches invariably focus on designing sophisticated…

计算机视觉与模式识别 · 计算机科学 2023-03-28 Dingkang Yang , Zhaoyu Chen , Yuzheng Wang , Shunli Wang , Mingcheng Li , Siao Liu , Xiao Zhao , Shuai Huang , Zhiyan Dong , Peng Zhai , Lihua Zhang

With the rapid development of the computer industry and computer software, the risk of software vulnerabilities being exploited has greatly increased. However, there are still many shortcomings in the existing mining techniques for leakage…

人工智能 · 计算机科学 2023-03-27 Wen Zhou

Accurate estimation of the Worst-Case Deadline Failure Probability (WCDFP) has attracted growing attention as a means to provide safety assurances in complex systems such as robotic platforms and autonomous vehicles. WCDFP quantifies the…

操作系统 · 计算机科学 2025-12-02 Hiroto Takahashi , Atsushi Yano , Takuya Azumi

Fraud across the decentralized finance (DeFi) ecosystem is growing, with victims losing billions to DeFi scams every year. However, there is a disconnect between the reported value of these scams and associated legal prosecutions. We use…

密码学与安全 · 计算机科学 2023-05-29 Arianna Trozze , Toby Davies , Bennett Kleinberg

Object detection is one of the most active areas in computer vision, which has made significant improvement in recent years. Current state-of-the-art object detection methods mostly adhere to the framework of regions with convolutional…

计算机视觉与模式识别 · 计算机科学 2016-04-15 Wenqing Chu , Deng Cai

Security issues in shipped code can lead to unforeseen device malfunction, system crashes or malicious exploitation by crackers, post-deployment. These vulnerabilities incur a cost of repair and foremost risk the credibility of the company.…

Software vulnerabilities in source code pose serious cybersecurity risks, prompting a shift from traditional detection methods (e.g., static analysis, rule-based matching) to AI-driven approaches. This study presents a systematic review of…

软件工程 · 计算机科学 2025-06-13 Samiha Shimmi , Hamed Okhravi , Mona Rahimi

Verification and validation of cyber-physical systems (CPS) via large-scale simulation often surface failures that are hard to interpret, especially when triggered by interactions between continuous and discrete behaviors at specific events…

软件工程 · 计算机科学 2026-04-10 Zaid Ghazal , Hadiza Yusuf , Khouloud Gaaloul