English
Related papers

Related papers: Verifiable Agentic Infrastructure: Proof-Derived A…

200 papers

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,…

Computers and Society · Computer Science 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…

Cryptography and Security · Computer Science 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…

Formal Languages and Automata Theory · Computer Science 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…

Hardware Architecture · Computer Science 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…

Cryptography and Security · Computer Science 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,…

Cryptography and Security · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Cryptography and Security · Computer Science 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,…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Machine Learning · Computer Science 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…

Computers and Society · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 2026-05-25 Muhammad Zia Hydari , Farooq Muzaffar
‹ Prev 1 3 4 5 6 7 10 Next ›