:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Alves, David Ribeiro, Patankar, Vishnu, Pereira, Matheus, Stephens, Jamie, Vaziri, Nima, Kannan, Sreeram
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2602.00182
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

TensorCommitments: A Lightweight Verifiable Inference for Language Models
par: Baser, Oguzhan, et autres
Publié: (2026)

Zero-Knowledge Proof Based Verifiable Inference of Models
par: Wang, Yunxiao
Publié: (2025)

Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge
par: Benno, Wyatt, et autres
Publié: (2026)

Protecting Context and Prompts: Deterministic Security for Non-Deterministic AI
par: Rajagopalan, Mohan, et autres
Publié: (2026)

A Framework for Cryptographic Verifiability of End-to-End AI Pipelines
par: Balan, Kar, et autres
Publié: (2025)

Incorporation of Verifier Functionality in the Software for Operations and Network Attack Results Review and the Autonomous Penetration Testing System
par: Milbrath, Jordan, et autres
Publié: (2024)

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

Private, Verifiable, and Auditable AI Systems
par: South, Tobin
Publié: (2025)

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

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
par: Lorenz, Tobias, et autres
Publié: (2024)

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

Towards Secure and Private AI: A Framework for Decentralized Inference
par: Zhang, Hongyang, et autres
Publié: (2024)

Travelers: A scalable fair ordering BFT system
par: Xue, Bowen, et autres
Publié: (2024)

FAST-IDS: A Fast Two-Stage Intrusion Detection System with Hybrid Compression for Real-Time Threat Detection in Connected and Autonomous Vehicles
par: S, Devika, et autres
Publié: (2025)

Meeting in the Middle: A Co-Design Paradigm for FHE and AI Inference
par: Magri, Bernardo, et autres
Publié: (2026)

Parallel Test-Time Scaling with Multi-Sequence Verifiers
par: Kim, Yegon, et autres
Publié: (2026)

PocketAgents: A Manifest-Driven Library of Autonomous Defense Agents
par: Barbieri, Sidnei, et autres
Publié: (2026)

Prompt and Circumstances: Evaluating the Efficacy of Human Prompt Inference in AI-Generated Art
par: Trinh, Khoi, et autres
Publié: (2026)

Backdoors in RLVR: Jailbreak Backdoors in LLMs From Verifiable Reward
par: Guo, Weiyang, et autres
Publié: (2026)

FedSecureFormer: A Fast, Federated and Secure Transformer Framework for Lightweight Intrusion Detection in Connected and Autonomous Vehicles
par: S, Devika, et autres
Publié: (2025)

Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments
par: Schnabl, Christoph, et autres
Publié: (2025)

IMMACULATE: A Practical LLM Auditing Framework via Verifiable Computation
par: Guo, Yanpei, et autres
Publié: (2026)

Substituting Proof of Work in Blockchain with Training-Verified Collaborative Model Computation
par: Rafid, Mohammad Ishzaz Asif, et autres
Publié: (2025)

Post-Training Local LLM Agents for Linux Privilege Escalation with Verifiable Rewards
par: Normann, Philipp, et autres
Publié: (2026)

Secure Tool Manifest and Digital Signing Solution for Verifiable MCP and LLM Pipelines
par: Jamshidi, Saeid, et autres
Publié: (2026)

aCAPTCHA: Verifying That an Entity Is a Capable Agent via Asymmetric Hardness
par: Xu, Zuyao, et autres
Publié: (2026)

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

VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces
par: Grigor, Artem, et autres
Publié: (2025)

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

SVIP: Towards Verifiable Inference of Open-source Large Language Models
par: Sun, Yifan, et autres
Publié: (2024)

VIGIL: Defending LLM Agents Against Tool Stream Injection via Verify-Before-Commit
par: Lin, Junda, et autres
Publié: (2026)

Repurposing Backdoors for Good: Ephemeral Intrinsic Proofs for Verifiable Aggregation in Cross-silo Federated Learning
par: Qin, Xian, et autres
Publié: (2026)

VFEFL: Privacy-Preserving Federated Learning against Malicious Clients via Verifiable Functional Encryption
par: Cai, Nina, et autres
Publié: (2025)

zkUnlearner: A Zero-Knowledge Framework for Verifiable Unlearning with Multi-Granularity and Forgery-Resistance
par: Wang, Nan, et autres
Publié: (2025)

Privacy-Preserving Federated Learning from Partial Decryption Verifiable Threshold Multi-Client Functional Encryption
par: Wang, Minjie, et autres
Publié: (2025)

Multi-Agent Penetration Testing AI for the Web
par: David, Isaac, et autres
Publié: (2025)

Identification of Malicious Posts on the Dark Web Using Supervised Machine Learning
par: Filho, Sebastião Alves de Jesus, et autres
Publié: (2025)

Tabula: Efficiently Computing Nonlinear Activation Functions for Secure Neural Network Inference
par: Lam, Maximilian, et autres
Publié: (2022)

VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
par: Liao, Guofu, et autres
Publié: (2025)

Towards Anonymous Neural Network Inference
par: Peiyuan, Liao
Publié: (2025)