English
Related papers

Related papers: PAuth - Precise Task-Scoped Authorization For Agen…

200 papers

Enterprise software engineering is shifting away from deterministic CRUD/REST architectures toward AI-native systems where large language models act as cognitive orchestrators. This transition introduces a critical security tension:…

Cryptography and Security · Computer Science 2026-04-29 Ignacio Peyrano

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…

Machine Learning · Computer Science 2026-04-07 Ninghui Li , Kaiyuan Zhang , Kyle Polley , Jerry Ma

Fine-tuning large language models for code editing has typically relied on mining commits and pull requests. The working hypothesis has been that commit messages describe human intent in natural language, and patches to code describe the…

Software Engineering · Computer Science 2026-03-30 Yangtian Zi , Zixuan Wu , Aleksander Boruch-Gruszecki , Jonathan Bell , Arjun Guha

AI agents increasingly require direct, structured access to application data and actions, but production deployments still struggle to express and verify the governance properties that matter in practice: least-privilege authorization,…

Cryptography and Security · Computer Science 2026-02-25 Genliang Zhu , Chu Wang , Ziyuan Wang , Zhida Li , Qiang Li

The increasing deployment of autonomous AI agents on the web is hampered by a fundamental misalignment: agents must infer affordances from human-oriented user interfaces, leading to brittle, inefficient, and insecure interactions. To…

Human-Computer Interaction · Computer Science 2025-11-17 Sven Schultze , Meike Verena Kietzmann , Nils-Lucas Schönfeld , Ruth Stock-Homburg

Data lakehouses run sensitive workloads, where AI-driven automation raises concerns about trust, correctness, and governance. We argue that API-first, programmable lakehouses provide the right abstractions for safe-by-design, agentic…

Artificial Intelligence · Computer Science 2025-10-13 Jacopo Tagliabue , Ciro Greco

Recent evidence suggests that frontier AI systems can exhibit agentic misalignment, generating and executing harmful actions derived from internally constructed goals, even without explicit user requests. Existing mitigation methods, such…

Artificial Intelligence · Computer Science 2026-04-28 Rong Xiang

Large Language Model (LLM) agents commonly condition actions on full action-observation histories, which introduce task-irrelevant information that easily leads to redundant actions and higher inference cost. We propose Progress-Aware…

Artificial Intelligence · Computer Science 2026-02-11 Haitao Jiang , Lin Ge , Hengrui Cai , Rui Song

Agents for computer use (ACUs) are an emerging class of systems capable of executing complex tasks on digital devices -- such as desktops, mobile phones, and web platforms -- given instructions in natural language. These agents can automate…

Modern web applications are increasingly produced through AI-assisted development and rapid no-code deployment pipelines, widening the gap between accelerating software velocity and the limited adaptability of existing security tooling.…

Cryptography and Security · Computer Science 2026-03-03 Akshat Singh Jaswal , Ashish Baghel

Recent autonomous AI agents such as Codex, and Claude Code have made it increasingly practical for users to delegate complex tasks, including writing emails, executing code, issuing shell commands, and carrying out multi-step plans.…

Human-Computer Interaction · Computer Science 2026-04-21 Haomin Zhuang , Hanwen Xing , Xiangliang Zhang

Traditional Identity and Access Management (IAM) systems, primarily designed for human users or static machine identities via protocols such as OAuth, OpenID Connect (OIDC), and SAML, prove fundamentally inadequate for the dynamic,…

Cryptography and Security · Computer Science 2025-05-30 Ken Huang , Vineeth Sai Narajala , John Yeoh , Jason Ross , Ramesh Raskar , Youssef Harkati , Jerry Huang , Idan Habler , Chris Hughes

Recent advancements in multimodal large language models (MLLMs) have shown exceptional potential in enabling mobile-using agents to autonomously execute human instructions. However, fully automated agents often try to execute tasks even…

Computation and Language · Computer Science 2026-05-28 Zheng Wu , Pengzhou Cheng , Zongru Wu , Yuan Guo , Tianjie Ju , Aston Zhang , Gongshen Liu , Zhuosheng Zhang

Penetration testing (or pentesting) is one of the widely used and important methodologies to assess the security of computer systems and networks. Traditional pentesting relies on the domain expert knowledge and requires considerable human…

Cryptography and Security · Computer Science 2019-08-21 Ge Chu , Alexei Lisitsa

This paper studies standard controller architectures for agentic AI and derives automata-theoretic models of their interaction behavior via trace semantics and abstraction. We model an agent implementation as a finite control program…

Artificial Intelligence · Computer Science 2026-02-02 Roham Koohestani , Ziyou Li , Anton Podkopaev , Maliheh Izadi

Modern AI agents routinely depend on secrets such as API keys and SSH credentials, yet the dominant deployment model still exposes those secrets directly to the agent process through environment variables, local files, or forwarding…

Cryptography and Security · Computer Science 2026-04-21 Shutong Jin , Ruiyi Guo , Ray C. C. Cheung

We introduce a new family of mechanisms for one-sided matching markets, denoted pick-an-object (PAO) mechanisms. When implementing an allocation rule via PAO, agents are asked to pick an object from individualized menus. These choices may…

Theoretical Economics · Economics 2023-02-07 Inácio Bó , Rustamdjan Hakimov

Large Language Model (LLM)-based UI agents show great promise for UI automation but often hallucinate in long-horizon tasks due to their lack of understanding of the global UI transition structure. To address this, we introduce AGENT+P, a…

Multiagent Systems · Computer Science 2026-01-09 Shang Ma , Xusheng Xiao , Yanfang Ye

Recent studies reveal gaps in delegating critical tasks to agentic AI that accesses websites on the user's behalf, primarily due to limited access control mechanisms on websites designed for agentic AI. In response, we propose a design of…

Artificial Intelligence · Computer Science 2026-03-20 Sunyoung Kim , Hokeun Kim

Voice has become an increasingly popular User Interaction (UI) channel, mainly contributing to the ongoing trend of wearables, smart vehicles, and home automation systems. Voice assistants such as Siri, Google Now and Cortana, have become…

Cryptography and Security · Computer Science 2017-01-18 Huan Feng , Kassem Fawaz , Kang G. Shin