中文
相关论文

相关论文: Do Coding Agents Understand Least-Privilege Author…

200 篇论文

We address the problem of learning to assign prediction tasks to one agent from a set of available human or AI agents. In particular, we focus on the sequential learning of agent expertise and assignment policies where each agent is…

人机交互 · 计算机科学 2026-05-28 Shang Wu , Saatvik Kher , Padhraic Smyth

This article, a lightly adapted version of Perplexity's response to NIST/CAISI Request for Information 2025-0035, details our observations and recommendations concerning the security of frontier AI agents. These insights are informed by…

机器学习 · 计算机科学 2026-04-07 Ninghui Li , Kaiyuan Zhang , Kyle Polley , Jerry Ma

Since autonomous coding agents generate complex behaviors at high-volume, we may want to use other LLMs to monitor actions to reduce the risk from dangerous misaligned behavior. To better understand the limitations of such monitors against…

密码学与安全 · 计算机科学 2026-05-20 Elle Najt , Colin Toft , Tyler Tracy , Fabien Roger , Joe Benton

Agent systems often decompose a task across multiple roles, but these roles are typically specified by prompts rather than enforced by access controls. Without enforcement, a team pass rate can mask whether agents actually coordinated or…

Affordance grounding requires identifying where and how an agent should interact in open-world scenes, where actionable regions are often small, occluded, reflective, and visually ambiguous. Recent systems therefore combine multiple skills…

机器人学 · 计算机科学 2026-05-11 Haojian Huang , Jiahao Shi , Yinchuan Li , Yingcong Chen

Colluding language-model agents can hide coordination in messages that remain policy-compliant at the surface level. We present CLBC, a protocol where generation and admission are separated: a message is admitted to transcript state only if…

密码学与安全 · 计算机科学 2026-03-03 Om Tailor

Algorithm designers increasingly optimize not only for accuracy, but also for the fairness of the algorithm across pre-defined groups. We study the tradeoff between fairness and accuracy for any given set of inputs to the algorithm. We…

理论经济学 · 经济学 2024-05-10 Annie Liang , Jay Lu , Xiaosheng Mu , Kyohei Okumura

Recent work has shown that many problems of satisfiability and resiliency in workflows may be viewed as special cases of the authorization policy existence problem (APEP), which returns an authorization policy if one exists and 'No'…

数据结构与算法 · 计算机科学 2021-07-15 Jason Crampton , Eduard Eiben , Gregory Gutin , Daniel Karapetyan , Diptapriyo Majumdar

Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, *relative expressiveness analysis* techniques have used formal mappings called *simulations* to explore whether one…

密码学与安全 · 计算机科学 2015-05-05 William C. Garrison , Adam J. Lee

Robust access control is a cornerstone of secure software, systems, and networks. An access control mechanism is as effective as the policy it enforces. However, authoring effective policies that satisfy desired properties such as the…

密码学与安全 · 计算机科学 2026-01-23 Ka Lok Wu , Christa Jenkins , Scott D. Stoller , Omar Chowdhury

Authorizing Large Language Model driven agents to dynamically invoke tools and access protected resources introduces significant risks, since current methods for delegating authorization grant overly broad permissions and give access to…

人工智能 · 计算机科学 2025-10-31 Majed El Helou , Chiara Troiani , Benjamin Ryder , Jean Diaconu , Hervé Muyal , Marcelo Yannuzzi

Real-world requests to AI agents are fundamentally underspecified. Natural human communication relies on shared context and unstated constraints that speakers expect listeners to infer. Current agentic benchmarks test explicit…

人工智能 · 计算机科学 2026-02-25 Ved Sirdeshmukh , Marc Wetter

Users often interpret and select agent skills through their SKILL markdown specifications. To protect users, existing audits mainly focus on malicious or unsafe skills. We study the complementary question of whether specifications help…

人机交互 · 计算机科学 2026-05-21 Zikai Alex Wen

Recent work has demonstrated the plausibility of frontier AI models scheming -- knowingly and covertly pursuing an objective misaligned with its developer's intentions. Such behavior could be very hard to detect, and if present in future…

Large Language Model (LLM) agents demonstrate strong performance in autonomous code generation under loose specifications. However, production-grade software requires strict adherence to structural constraints, such as architectural…

软件工程 · 计算机科学 2026-05-08 Francesco Dente , Dario Satriani , Paolo Papotti

Model stealing, i.e., unauthorized access and exfiltration of deep learning models, has become one of the major threats. Proprietary models may be protected by access controls and encryption. However, in reality, these measures can be…

密码学与安全 · 计算机科学 2024-05-27 Yuling Cai , Fan Xiang , Guozhu Meng , Yinzhi Cao , Kai Chen

When should an autonomous agent commit resources to a task? We introduce the Agent Capability Problem (ACP), a framework for predicting whether an agent can solve a problem under resource constraints. Rather than relying on empirical…

人工智能 · 计算机科学 2025-12-09 Shahar Lutati

As Model Context Protocol adoption grows, securing tool invocations via meaningful user consent has become a critical challenge, as existing methods, broad always allow toggles or opaque LLM-based decisions, fail to account for dangerous…

密码学与安全 · 计算机科学 2026-05-13 Ying Li , Yanju Chen , Peiran Wang , Issac Khabra , Faysal Hossain Shezan , Yu Feng , Yuan Tian

LLM-powered agents often use prompt compression to reduce inference costs, but this introduces a new security risk. Compression modules, which are optimized for efficiency rather than safety, can be manipulated by adversarial inputs,…

密码学与安全 · 计算机科学 2025-11-18 Zesen Liu , Zhixiang Zhang , Yuchong Xie , Dongdong She

AI agents today have passwords but no permission slips. They execute tool calls (fund transfers, database queries, shell commands, sub-agent delegation) with no standard mechanism to enforce authorization before the action executes. Current…

密码学与安全 · 计算机科学 2026-03-24 Uchi Uchibeke