中文
相关论文

相关论文: Verifiable Agentic Infrastructure: Proof-Derived A…

200 篇论文

The rapid adoption of AI systems presents enterprises with a dual challenge: accelerating innovation while ensuring responsible governance. Current AI governance approaches suffer from fragmentation, with risk management frameworks that…

计算机与社会 · 计算机科学 2025-03-11 Ian W. Eisenberg , Lucía Gamboa , Eli Sherman

Modern Artificial Intelligence (AI) systems lack human-like consciousness or culpability, yet they exhibit fluid agency: behavior that is (i) stochastic (probabilistic and path-dependent), (ii) dynamic (co-evolving with user interaction),…

计算机与社会 · 计算机科学 2026-02-23 Anirban Mukherjee , Hannah Hanwen Chang

Cybersecurity decision-making increasingly occurs in environments characterized by uncertainty, partial observability, and adversarial manipulation, where heterogeneous signals from multiple sources are often incomplete, ambiguous, or…

密码学与安全 · 计算机科学 2026-05-01 Andrei Kojukhov , Arkady Bovshover

Current DAO governance praxis limits organizational expressivity and reduces complex organizational decisions to token-weighted voting due to on-chain computational limits. This paper proposes verifiable off-chain computation (leveraging…

计算机科学与博弈论 · 计算机科学 2025-12-30 Jake Hartnell , Eugenio Battaglia

We consider safety-critical multi-agent systems with distributed control architectures and potentially varying network topologies. While learning-based distributed control enables scalability and high performance, a lack of formal safety…

系统与控制 · 电气工程与系统科学 2026-04-01 Jonas Ohnemus , Alexandre Didier , Ahmed Aboudonia , Andrea Carron , Melanie N. Zeilinger

Autonomous agents are moving from tools into a layer of social infrastructure: they browse, purchase, deploy software, manage systems, and increasingly interact with one another. As these systems scale, the bottleneck shifts away from raw…

Agentic AI systems increasingly act through tool-augmented, multi-step workflows whose failures (unsafe tool use, unauthorised actions, social harm) carry deployment-level consequences. Evaluation practice remains fragmented across isolated…

计算与语言 · 计算机科学 2026-05-22 Jinhu Qi , Yifan Li , Minghao Zhao , Wentao Zhang , Zijian Zhang , Yaoman Li , Irwin King

Autonomous agentic systems are increasingly deployed in regulated, high-stakes domains where decisions may be irreversible and institutionally constrained. Existing safety approaches emphasize alignment, interpretability, or action-level…

多智能体系统 · 计算机科学 2026-02-17 Jose Manuel de la Chica Rodriguez , Juan Manuel Vera Díaz

Deep Neural Networks (DNNs), as valuable intellectual property, face unauthorized use. Existing protections, such as digital watermarking, are largely passive; they provide only post-hoc ownership verification and cannot actively prevent…

密码学与安全 · 计算机科学 2025-12-12 Han Yang , Shaofeng Li , Tian Dong , Xiangyu Xu , Guangchi Liu , Zhen Ling

Agentic AI systems - capable of goal interpretation, world modeling, planning, tool use, long-horizon operation, and autonomous coordination - introduce distinct control failures not addressed by existing safety frameworks. We identify six…

计算机与社会 · 计算机科学 2026-03-05 Subramanyam Sahoo

Large Language Models (LLMs) are evolving into autonomous agents, yet current "frameless" development--relying on ambiguous natural language without engineering blueprints--leads to critical risks such as scope creep and open-loop failures.…

人工智能 · 计算机科学 2026-02-24 Chanjin Park

Data-driven intelligent applications in modern online services have become ubiquitous. These applications are usually hosted in the untrusted cloud computing infrastructure. This poses significant security risks since these applications…

密码学与安全 · 计算机科学 2021-01-21 Do Le Quoc , Franz Gregor , Sergei Arnautov , Roland Kunkel , Pramod Bhatotia , Christof Fetzer

The ongoing shift of AI models from centralized cloud APIs to local AI agents on edge devices is enabling \textit{Client-Side Autonomous Agents (CSAAs)} -- persistent personal agents that can plan, access local context, and invoke tools on…

网络与互联网体系结构 · 计算机科学 2026-03-05 Taotao Wang , Lizhao You , Jingwen Tong , Chonghe Zhao , Shengli Zhang

The fragmentation of AI agent ecosystems has created urgent demands for interoperability, trust, and economic coordination that current protocols -- including MCP (Hou et al., 2025), A2A (Habler et al., 2025), ACP (Liu et al., 2025), and…

密码学与安全 · 计算机科学 2025-07-24 Sree Bhargavi Balija , Rekha Singal , Ramesh Raskar , Erfan Darzi , Raghu Bala , Thomas Hardjono , Ken Huang

This paper identifies the current challenges of the mechanisation, digitisation and automation of public sector systems and processes, and proposes a modern and practical framework to ensure and assure ethical and high veracity Artificial…

Agentic AI systems, specifically LLM-driven agents that plan, invoke tools, maintain persistent memory, and delegate tasks to peer agents via protocols such as MCP and A2A, introduce a threat surface that differs materially from standalone…

密码学与安全 · 计算机科学 2026-05-08 Javad Forough , Marios Kogias , Hamed Haddadi

When Agent A delegates to Agent B, which invokes Tool C on behalf of User X, no existing framework can answer: whose authorization chain led to this action, and where did it violate policy? This paper introduces SentinelAgent, a formal…

密码学与安全 · 计算机科学 2026-04-06 KrishnaSaiReddy Patil

Agent frameworks increasingly encode tool-using behavior as explicit workflow graphs, yet safety enforcement remains a runtime concern. These frameworks expose analyzable graph structure through their APIs, enabling pre-deployment static…

计算机科学中的逻辑 · 计算机科学 2026-03-24 Melwin Xavier , Vaisakh M A , Melveena Jolly , Midhun Xavier

Multi-agent collaboration enhances situational awareness in intelligence, surveillance, and reconnaissance (ISR) missions. Ad hoc networks of unmanned aerial vehicles (UAVs) allow for real-time data sharing, but they face security…

系统与控制 · 电气工程与系统科学 2025-07-25 R. Spencer Hallyburton , Miroslav Pajic

The rapid advancement of ML models in critical sectors such as healthcare, finance, and security has intensified the need for robust data security, model integrity, and reliable outputs. Large multimodal foundational models, while crucial…

密码学与安全 · 计算机科学 2024-12-13 Hongyang Zhang , Yue Zhao , Claudio Angione , Harry Yang , James Buban , Ahmad Farhan , Fielding Johnston , Patrick Colangelo