Copertina

Statistical Proof of Execution (SPEX)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dallachiesa, Michele, Pitasi, Antonio, Pinger, David, Goodbody, Josh, Vaello, Luis
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ZK-APEX: Zero-Knowledge Approximate Personalized Unlearning with Executable Proofs
di: Maheri, Mohammad M, et al.
Pubblicazione: (2025)

Zero-Knowledge Proofs in Sublinear Space
di: Nye, Logan
Pubblicazione: (2025)

Adversarial Threat Vectors and Risk Mitigation for Retrieval-Augmented Generation Systems
di: Ward, Chris M., et al.
Pubblicazione: (2025)

Offensive Security for AI Systems: Concepts, Practices, and Applications
di: Harguess, Josh, et al.
Pubblicazione: (2025)

Towards Reinforcement Learning for Exploration of Speculative Execution Vulnerabilities
di: Lai, Evan, et al.
Pubblicazione: (2025)

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

Proof-of-Data: A Consensus Protocol for Collaborative Intelligence
di: Liu, Huiwen, et al.
Pubblicazione: (2025)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
di: Wei, Zhiyuan, et al.
Pubblicazione: (2025)

Agent-Sentry: Bounding LLM Agents via Execution Provenance
di: Sequeira, Rohan, et al.
Pubblicazione: (2026)

Graph in the Vault: Protecting Edge GNN Inference with Trusted Execution Environment
di: Ding, Ruyi, et al.
Pubblicazione: (2025)

CapSeal: Capability-Sealed Secret Mediation for Secure Agent Execution
di: Jin, Shutong, et al.
Pubblicazione: (2026)

FinVault: Benchmarking Financial Agent Safety in Execution-Grounded Environments
di: Yang, Zhi, et al.
Pubblicazione: (2026)

APEX: Agent Payment Execution with Policy for Autonomous Agent API Access
di: Uddin, Mohd Safwan, et al.
Pubblicazione: (2026)

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

Generating Privacy-Preserving Personalized Advice with Zero-Knowledge Proofs and LLMs
di: Watanabe, Hiroki, et al.
Pubblicazione: (2025)

On the Feasibility of Using MultiModal LLMs to Execute AR Social Engineering Attacks
di: Bi, Ting, et al.
Pubblicazione: (2025)

From Tool Orchestration to Code Execution: A Study of MCP Design Choices
di: Felendler, Yuval, et al.
Pubblicazione: (2026)

Proof-of-Spiking-Neurons(PoSN): Neuromorphic Consensus for Next-Generation Blockchains
di: Haider, M. Z., et al.
Pubblicazione: (2025)

Proof of Useful Intelligence (PoUI): Blockchain Consensus Beyond Energy Waste
di: Chong, Zan-Kai, et al.
Pubblicazione: (2025)

Towards Understanding and Enhancing Security of Proof-of-Training for DNN Model Ownership Verification
di: Chang, Yijia, et al.
Pubblicazione: (2024)

Adaptive and Robust Cost-Aware Proof of Quality for Decentralized LLM Inference Networks
di: Tian, Arther, et al.
Pubblicazione: (2026)

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

The Authorization-Execution Gap Is a Major Safety and Security Problem in Open-World Agents
di: Wu, Baoyuan, et al.
Pubblicazione: (2026)

Autonomous Intelligent Agents for Natural-Language-Driven Web Execution with Integrated Security Assurance
di: Pasupuleti, Vinil, et al.
Pubblicazione: (2026)

AutoControl Arena: Synthesizing Executable Test Environments for Frontier AI Risk Evaluation
di: Li, Changyi, et al.
Pubblicazione: (2026)

Red-Teaming Agent Execution Contexts: Open-World Security Evaluation on OpenClaw
di: Yao, Hongwei, et al.
Pubblicazione: (2026)

Red-Teaming Claude Opus and ChatGPT-based Security Advisors for Trusted Execution Environments
di: Mukherjee, Kunal, et al.
Pubblicazione: (2026)

Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables
di: Chen, Yanzuo, et al.
Pubblicazione: (2023)

Security Risks in Tool-Enabled AI Agents: A Systematic Analysis of Privileged Execution Environments
di: Goel, Hardik
Pubblicazione: (2026)

From Craft to Kernel: A Governance-First Execution Architecture and Semantic ISA for Agentic Computers
di: Wen, Xiangyu, et al.
Pubblicazione: (2026)

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

Examining Attacks on Consensus and Incentive Systems in Proof-of-Work Blockchains: A Systematic Literature Review
di: Wijewardhana, Dinitha, et al.
Pubblicazione: (2024)

Antidote: Post-fine-tuning Safety Alignment for Large Language Models against Harmful Fine-tuning
di: Huang, Tiansheng, et al.
Pubblicazione: (2024)

Intelligent Code Embedding Framework for High-Precision Ransomware Detection via Multimodal Execution Path Analysis
di: Gareth, Levi, et al.
Pubblicazione: (2025)

SynRAG: A Large Language Model Framework for Executable Query Generation in Heterogeneous SIEM System
di: Saju, Md Hasan, et al.
Pubblicazione: (2025)

Meta-Sealing: A Revolutionizing Integrity Assurance Protocol for Transparent, Tamper-Proof, and Trustworthy AI System
di: Krishnamoorthy, Mahesh Vaijainthymala
Pubblicazione: (2024)

Execution Is the New Attack Surface: Survivability-Aware Agentic Crypto Trading with OpenClaw-Style Local Executors
di: Borjigin, Ailiya, et al.
Pubblicazione: (2026)

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

Proof of Humanity: A Multi-Layer Network Framework for Certifying Human-Originated Content in an AI-Dominated Internet
di: Barros, Sebastian
Pubblicazione: (2025)

Kick Bad Guys Out! Conditionally Activated Anomaly Detection in Federated Learning with Zero-Knowledge Proof Verification
di: Han, Shanshan, et al.
Pubblicazione: (2023)