中文
相关论文

相关论文: Autosploit: A Fully Automated Framework for Evalua…

200 篇论文

Aligning autonomous agents with human intent remains a central challenge in modern AI. A key manifestation of this challenge is reward hacking, whereby agents appear successful under the evaluation signal while violating the intended…

机器学习 · 计算机科学 2026-05-21 Amit Roth , Ankur Samanta , Matan Halevy , Yoav Levine , Yonathan Efroni

The aggressive performance optimizations in modern microprocessors can result in security vulnerabilities. For example, timing-based attacks in processor caches can steal secret keys or break randomization. So far, finding cache-timing…

密码学与安全 · 计算机科学 2023-02-07 Mulong Luo , Wenjie Xiong , Geunbae Lee , Yueying Li , Xiaomeng Yang , Amy Zhang , Yuandong Tian , Hsien-Hsin S. Lee , G. Edward Suh

Various automobile and mobility companies, for instance Ford, Uber and Waymo, are currently testing their pre-produced autonomous vehicle (AV) fleets on the public roads. However, due to rareness of the safety-critical cases and,…

机器人学 · 计算机科学 2018-09-11 Mansur Arief , Peter Glynn , Ding Zhao

The adoption of Large Language Models (LLMs) for automated software vulnerability patching has shown promising outcomes on carefully curated evaluation sets. Nevertheless, existing datasets predominantly rely on superficial validation…

软件工程 · 计算机科学 2025-09-04 Weizhe Wang , Wei Ma , Qiang Hu , Yao Zhang , Jianfei Sun , Bin Wu , Yang Liu , Guangquan Xu , Lingxiao Jiang

In security-sensitive applications, the success of machine learning depends on a thorough vetting of their resistance to adversarial data. In one pertinent, well-motivated attack scenario, an adversary may attempt to evade a deployed system…

密码学与安全 · 计算机科学 2017-08-22 Battista Biggio , Igino Corona , Davide Maiorca , Blaine Nelson , Nedim Srndic , Pavel Laskov , Giorgio Giacinto , Fabio Roli

Writing exploits for security assessment is a challenging task. The writer needs to master programming and obfuscation techniques to develop a successful exploit. To make the task easier, we propose an approach (EVIL) to automatically…

Most frameworks for assessing the openness of AI systems use narrow criteria such as availability of data, model, code, documentation, and licensing terms. However, to evaluate whether the intended effects of openness - such as…

计算机与社会 · 计算机科学 2025-10-14 Tamara Paris , Shalaleh Rismani

The increasing complexity of modern system-on-chip designs amplifies hardware security risks and makes manual security property specification a major bottleneck in formal property verification. This paper presents Assertain, an automated…

密码学与安全 · 计算机科学 2026-04-03 Shams Tarek , Dipayan Saha , Khan Thamid Hasan , Sujan Kumar Saha , Mark Tehranipoor , Farimah Farahmandi

Considering the ever-evolving threat landscape and rapid changes in software development, we propose a risk assessment framework called SAFER (Software Analysis Framework for Evaluating Risk). This framework is based on the necessity of a…

软件工程 · 计算机科学 2024-12-25 Sarah Ali Siddiqui , Chandra Thapa , Rayne Holland , Wei Shao , Seyit Camtepe

Safety is a central requirement for automated vehicles. As such, the assessment of risk in automated driving is key in supporting both motion planning technologies and safety evaluation. In automated driving, risk is characterized by two…

机器人学 · 计算机科学 2026-01-22 Leon Tolksdorf , Arturo Tejada , Jonas Bauernfeind , Christian Birkner , Nathan van de Wouw

In recent years, an active field of research has developed around automated machine learning (AutoML). Unfortunately, comparing different AutoML systems is hard and often done incorrectly. We introduce an open, ongoing, and extensible…

机器学习 · 计算机科学 2019-07-02 Pieter Gijsbers , Erin LeDell , Janek Thomas , Sébastien Poirier , Bernd Bischl , Joaquin Vanschoren

This study proposes a framework for the automated hyperparameter optimization of a bearing fault detection pipeline for permanent magnet synchronous motors (PMSMs) without the need of external sensors. A automated machine learning (AutoML)…

信号处理 · 电气工程与系统科学 2023-06-21 Tobias Wagner , Alexander Gepperth , Elmar Engels

With recent advances in learning algorithms and hardware development, autonomous cars have shown promise when operating in structured environments under good driving conditions. However, for complex, cluttered and unseen environments with…

人工智能 · 计算机科学 2018-11-29 Junyao Guo , Unmesh Kurup , Mohak Shah

Navigating safely in urban environments remains a challenging problem for autonomous vehicles. Occlusion and limited sensor range can pose significant challenges to safely navigate among pedestrians and other vehicles in the environment.…

机器人学 · 计算机科学 2019-07-19 Ming-Yuan Yu , Ram Vasudevan , Matthew Johnson-Roberson

Existing neural network-based autonomous systems are shown to be vulnerable against adversarial attacks, therefore sophisticated evaluation on their robustness is of great importance. However, evaluating the robustness only under the…

机器学习 · 计算机科学 2020-12-29 Wenhao Ding , Baiming Chen , Bo Li , Kim Ji Eun , Ding Zhao

Large Language Models increasingly power critical infrastructure from healthcare to finance, yet their vulnerability to adversarial manipulation threatens system integrity and user safety. Despite growing deployment, no comprehensive…

密码学与安全 · 计算机科学 2026-03-19 Taiwo Onitiju , Iman Vakilinia

A precise vulnerability discovery model (VDM) will provide a useful insight to assess software security, and could be a good prediction instrument for both software vendors and users to understand security trends and plan ahead patching…

密码学与安全 · 计算机科学 2018-08-30 Viet Hung Nguyen , Fabio Massacci

Recently significant progress has been made in vehicle prediction and planning algorithms for autonomous driving. However, it remains quite challenging for an autonomous vehicle to plan its trajectory in complex scenarios when it is…

机器人学 · 计算机科学 2023-07-25 Xiangguo Liu , Ruochen Jiao , Yixuan Wang , Yimin Han , Bowen Zheng , Qi Zhu

Robustness is a crucial factor for the successful deployment of robots in unstructured environments, particularly in the domain of Simultaneous Localization and Mapping (SLAM). Simulation-based benchmarks have emerged as a highly scalable…

机器人学 · 计算机科学 2024-02-14 Xiaohao Xu , Tianyi Zhang , Sibo Wang , Xiang Li , Yongqi Chen , Ye Li , Bhiksha Raj , Matthew Johnson-Roberson , Xiaonan Huang

Penetration testing is a vital practice for identifying and mitigating vulnerabilities in cybersecurity systems, but its manual execution is labor-intensive and time-consuming. Existing large language model (LLM)-assisted or automated…

软件工程 · 计算机科学 2025-01-24 He Kong , Die Hu , Jingguo Ge , Liangxiong Li , Tong Li , Bingzhen Wu