:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Alves, David Ribeiro, Patankar, Vishnu, Pereira, Matheus, Stephens, Jamie, Vaziri, Nima, Kannan, Sreeram
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence
Online Access:	https://arxiv.org/abs/2602.00182
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TensorCommitments: A Lightweight Verifiable Inference for Language Models
by: Baser, Oguzhan, et al.
Published: (2026)

Zero-Knowledge Proof Based Verifiable Inference of Models
by: Wang, Yunxiao
Published: (2025)

Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge
by: Benno, Wyatt, et al.
Published: (2026)

Protecting Context and Prompts: Deterministic Security for Non-Deterministic AI
by: Rajagopalan, Mohan, et al.
Published: (2026)

A Framework for Cryptographic Verifiability of End-to-End AI Pipelines
by: Balan, Kar, et al.
Published: (2025)

Incorporation of Verifier Functionality in the Software for Operations and Network Attack Results Review and the Autonomous Penetration Testing System
by: Milbrath, Jordan, et al.
Published: (2024)

Before the Tool Call: Deterministic Pre-Action Authorization for Autonomous AI Agents
by: Uchibeke, Uchi
Published: (2026)

Private, Verifiable, and Auditable AI Systems
by: South, Tobin
Published: (2025)

ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code
by: Filho, Elzo Brito dos Santos
Published: (2026)

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
by: Lorenz, Tobias, et al.
Published: (2024)

NANOZK: Layerwise Zero-Knowledge Proofs for Verifiable Large Language Model Inference
by: Wang, Zhaohui Geoffrey
Published: (2026)

Towards Secure and Private AI: A Framework for Decentralized Inference
by: Zhang, Hongyang, et al.
Published: (2024)

Travelers: A scalable fair ordering BFT system
by: Xue, Bowen, et al.
Published: (2024)

FAST-IDS: A Fast Two-Stage Intrusion Detection System with Hybrid Compression for Real-Time Threat Detection in Connected and Autonomous Vehicles
by: S, Devika, et al.
Published: (2025)

Meeting in the Middle: A Co-Design Paradigm for FHE and AI Inference
by: Magri, Bernardo, et al.
Published: (2026)

Parallel Test-Time Scaling with Multi-Sequence Verifiers
by: Kim, Yegon, et al.
Published: (2026)

PocketAgents: A Manifest-Driven Library of Autonomous Defense Agents
by: Barbieri, Sidnei, et al.
Published: (2026)

Prompt and Circumstances: Evaluating the Efficacy of Human Prompt Inference in AI-Generated Art
by: Trinh, Khoi, et al.
Published: (2026)

Backdoors in RLVR: Jailbreak Backdoors in LLMs From Verifiable Reward
by: Guo, Weiyang, et al.
Published: (2026)

FedSecureFormer: A Fast, Federated and Secure Transformer Framework for Lightweight Intrusion Detection in Connected and Autonomous Vehicles
by: S, Devika, et al.
Published: (2025)

Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments
by: Schnabl, Christoph, et al.
Published: (2025)

IMMACULATE: A Practical LLM Auditing Framework via Verifiable Computation
by: Guo, Yanpei, et al.
Published: (2026)

Substituting Proof of Work in Blockchain with Training-Verified Collaborative Model Computation
by: Rafid, Mohammad Ishzaz Asif, et al.
Published: (2025)

Post-Training Local LLM Agents for Linux Privilege Escalation with Verifiable Rewards
by: Normann, Philipp, et al.
Published: (2026)

Secure Tool Manifest and Digital Signing Solution for Verifiable MCP and LLM Pipelines
by: Jamshidi, Saeid, et al.
Published: (2026)

aCAPTCHA: Verifying That an Entity Is a Capable Agent via Asymmetric Hardness
by: Xu, Zuyao, et al.
Published: (2026)

Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement
by: Mazzocchetti, Adam Massimo
Published: (2026)

VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces
by: Grigor, Artem, et al.
Published: (2025)

SentinelAgent: Intent-Verified Delegation Chains for Securing Federal Multi-Agent AI Systems
by: Patil, KrishnaSaiReddy
Published: (2026)

SVIP: Towards Verifiable Inference of Open-source Large Language Models
by: Sun, Yifan, et al.
Published: (2024)

VIGIL: Defending LLM Agents Against Tool Stream Injection via Verify-Before-Commit
by: Lin, Junda, et al.
Published: (2026)

Repurposing Backdoors for Good: Ephemeral Intrinsic Proofs for Verifiable Aggregation in Cross-silo Federated Learning
by: Qin, Xian, et al.
Published: (2026)

VFEFL: Privacy-Preserving Federated Learning against Malicious Clients via Verifiable Functional Encryption
by: Cai, Nina, et al.
Published: (2025)

zkUnlearner: A Zero-Knowledge Framework for Verifiable Unlearning with Multi-Granularity and Forgery-Resistance
by: Wang, Nan, et al.
Published: (2025)

Privacy-Preserving Federated Learning from Partial Decryption Verifiable Threshold Multi-Client Functional Encryption
by: Wang, Minjie, et al.
Published: (2025)

Multi-Agent Penetration Testing AI for the Web
by: David, Isaac, et al.
Published: (2025)

Identification of Malicious Posts on the Dark Web Using Supervised Machine Learning
by: Filho, Sebastião Alves de Jesus, et al.
Published: (2025)

Tabula: Efficiently Computing Nonlinear Activation Functions for Secure Neural Network Inference
by: Lam, Maximilian, et al.
Published: (2022)

VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
by: Liao, Guofu, et al.
Published: (2025)

Towards Anonymous Neural Network Inference
by: Peiyuan, Liao
Published: (2025)