中文
相关论文

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

200 篇论文

To counter fragmented, high-risk adoption of commercial AI tools, we built and ran an institutional AI platform in a six-month, 300-user pilot, showing that a university of applied sciences can offer advanced AI with fair access,…

计算机与社会 · 计算机科学 2025-12-11 Ruud Huijts , Koen Suilen

The rise of autonomous AI agents in enterprise and industrial environments introduces a critical challenge: how to securely assign, verify, and manage their identities across distributed systems. Existing identity frameworks based on API…

密码学与安全 · 计算机科学 2025-04-24 Sebastian Barros

Distributed machine learning systems require strong privacy guarantees, verifiable compliance, and scalable deployment across heterogeneous and multi-cloud environments. This work introduces a cloud-native privacy-preserving architecture…

Fault-tolerant distributed algorithms are central for building reliable spatially distributed systems. Unfortunately, the lack of a canonical precise framework for fault-tolerant algorithms is an obstacle for both verification and…

形式语言与自动机理论 · 计算机科学 2012-10-16 Annu John , Igor Konnov , Ulrich Schmid , Helmut Veith , Josef Widder

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these technologies have…

硬件体系结构 · 计算机科学 2025-07-30 Wenbo Liu , Forbes Hou , Jon Zhang , Hong Liu , Allen Lei

Tool-enabled AI agents are increasingly deployed in cloud-hosted environments and offered as services, where they perform side-effecting operations through privileged tools within execution environments. While such agents enable powerful…

密码学与安全 · 计算机科学 2026-05-12 Hardik Goel

This paper introduces the Agentic AI Governance Assurance & Trust Engine (AAGATE), a Kubernetes-native control plane designed to address the unique security and governance challenges posed by autonomous, language-model-driven agents in…

Securing Agentic Artificial Intelligence (AI) systems requires addressing the complex cyber risks introduced by autonomous, decision-making, and adaptive behaviors. Agentic AI systems are increasingly deployed across industries,…

密码学与安全 · 计算机科学 2025-12-23 Sunil Arora , John Hastings

Many intelligent transportation systems are multi-agent systems, i.e., both the traffic participants and the subsystems within the transportation infrastructure can be modeled as interacting agents. The use of AI-based methods to achieve…

人工智能 · 计算机科学 2021-11-09 Mingxi Cheng , Junyao Zhang , Shahin Nazarian , Jyotirmoy Deshmukh , Paul Bogdan

The convergence of Artificial Intelligence (AI) inference pipelines with cloud infrastructure creates a dual attack surface where cloud security standards and AI governance frameworks intersect without unified enforcement mechanisms. AI…

密码学与安全 · 计算机科学 2026-03-02 S M Zia Ur Rashid , Deepa Gurung , Sonam Raj Gupta , Suman Rath

AI memory systems are evolving toward unified context layers that enable efficient cross-agent collaboration and multi-tool workflows, facilitating better accumulation of personal data and learning of user preferences. However,…

密码学与安全 · 计算机科学 2026-01-13 Xing Zhou , Dmitrii Ustiugov , Haoxin Shang , Kisson Lin

Recent advances in AI are transforming AI's ubiquitous presence in our world from that of standalone AI-applications into deeply integrated AI-agents. These changes have been driven by agents' increasing capability to autonomously make…

密码学与安全 · 计算机科学 2025-07-04 Jose Sanchez Vicarte , Marcin Spoczynski , Mostafa Elsaid

Large Reasoning Models (LRMs) and Multi-Agent Systems (MAS) in high-stakes domains demand reliable verification, yet centralized approaches suffer four limitations: (1) Robustness, with single points of failure vulnerable to attacks and…

人工智能 · 计算机科学 2026-05-01 Yu-Chao Huang , Zhen Tan , Mohan Zhang , Pingzhi Li , Zhuo Zhang , Tianlong Chen

Protecting patient privacy remains a fundamental barrier to scaling machine learning across healthcare institutions, where centralizing sensitive data is often infeasible due to ethical, legal, and regulatory constraints. Federated learning…

机器学习 · 计算机科学 2026-03-24 Vagish Kumar , Syed Bahauddin Alam , Souvik Chakraborty

Artificial intelligence (AI) systems operate in increasingly diverse areas, from healthcare to facial recognition, the stock market, autonomous vehicles, and so on. While the underlying digital infrastructure of AI systems is developing…

计算机与社会 · 计算机科学 2021-08-19 Benjamin Cedric Larsen

Institutional decisions -- regulatory compliance, clinical triage, prior authorization appeal -- require a different AI architecture than general-purpose agents provide. Agent frameworks infer authority conversationally, reconstruct…

人工智能 · 计算机科学 2026-04-14 Mamadou Seck

For decades, the security of digital interaction has rested on an unacknowledged economic constraint. Attackers faced a tradeoff between the fidelity of a deception and the scale at which it could be deployed. Convincing impersonation…

密码学与安全 · 计算机科学 2026-05-19 Osama Zafar , Alexander Nemecek , Erman Ayday

Generative AI (GenAI) systems promise to transform knowledge work by automating a range of tasks, yet their deployment in enterprise settings remains hindered by the lack of systematic quality assurance mechanisms. We present an Expert…

软件工程 · 计算机科学 2026-01-21 Lucas Gren , Felix Dobslaw

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…

人工智能 · 计算机科学 2026-04-28 Rong Xiang

Agentic AI orchestrators reduce the interface and assembly costs of composing information systems capabilities across organizational boundaries, seemingly accelerating modularization and organizational disaggregation. Yet AI-enabled…

人工智能 · 计算机科学 2026-05-25 Muhammad Zia Hydari , Farooq Muzaffar