Buchumschlag

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Jianyu, Zhang, Fuyuan, Lu, Jiayi, Hu, Jilin, Yin, Xiaoyi, Zhang, Long, Yang, Feng, Zhao, Yongwang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
von: Hu, Jilin, et al.
Veröffentlicht: (2025)

NetEcho: From Real-World Streaming Side-Channels to Full LLM Conversation Recovery
von: Zhang, Zheng, et al.
Veröffentlicht: (2025)

CanCal: Towards Real-time and Lightweight Ransomware Detection and Response in Industrial Environments
von: Wang, Shenao, et al.
Veröffentlicht: (2024)

CachePrune: Privacy-Aware and Fine-Grained KV Cache Sharing for Efficient LLM Inference
von: Wu, Guanlong, et al.
Veröffentlicht: (2026)

SEC-bench: Automated Benchmarking of LLM Agents on Real-World Software Security Tasks
von: Lee, Hwiwon, et al.
Veröffentlicht: (2025)

A First Measurement Study on Authentication Security in Real-World Remote MCP Servers
von: Zhou, Huijun, et al.
Veröffentlicht: (2026)

Bridging the Gap between Hardware Fuzzing and Industrial Verification
von: Ma, Ruiyang, et al.
Veröffentlicht: (2025)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
von: Zhang, Jianyu, et al.
Veröffentlicht: (2025)

Safeguarding LLM Embeddings in End-Cloud Collaboration via Entropy-Driven Perturbation
von: Jin, Shuaifan, et al.
Veröffentlicht: (2025)

Feedback-Driven Execution for LLM-Based Binary Analysis
von: Zhang, XiangRui, et al.
Veröffentlicht: (2026)

A New Era in LLM Security: Exploring Security Concerns in Real-World LLM-based Systems
von: Wu, Fangzhou, et al.
Veröffentlicht: (2024)

TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
von: Wen, Xiaoqing, et al.
Veröffentlicht: (2024)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)

Towards Automating Blockchain Consensus Verification with IsabeLLM
von: Jones, Elliot, et al.
Veröffentlicht: (2026)

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains
von: Guo, Hanze, et al.
Veröffentlicht: (2024)

Can LLM Infer Risk Information From MCP Server System Logs?
von: Fu, Jiayi, et al.
Veröffentlicht: (2025)

XGuardian: Towards Explainable and Generalized AI Anti-Cheat on FPS Games
von: Zhang, Jiayi, et al.
Veröffentlicht: (2026)

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive
von: Bogdan, Alex, et al.
Veröffentlicht: (2026)

Demystifying Private Transactions and Their Impact in PoW and PoS Ethereum
von: Lyu, Xingyu, et al.
Veröffentlicht: (2025)

Artemis: Efficient Commit-and-Prove SNARKs for zkML
von: Lycklama, Hidde, et al.
Veröffentlicht: (2024)

ProveRAG: Provenance-Driven Vulnerability Analysis with Automated Retrieval-Augmented LLMs
von: Fayyazi, Reza, et al.
Veröffentlicht: (2024)

Membership Inference Attacks Cannot Prove that a Model Was Trained On Your Data
von: Zhang, Jie, et al.
Veröffentlicht: (2024)

No Free Lunch Theorem for Privacy-Preserving LLM Inference
von: Zhang, Xiaojin, et al.
Veröffentlicht: (2024)

VULSOLVER: Vulnerability Detection via LLM-Driven Constraint Solving
von: Li, Xiang, et al.
Veröffentlicht: (2025)

Agora: Trust Less and Open More in Verification for Confidential Computing
von: Chen, Hongbo, et al.
Veröffentlicht: (2024)

Don't Trust Your Upstream: Exploiting LLM Multi-Agent System via Topology-Guided Adversarial Propagation
von: Liang, Ruichao, et al.
Veröffentlicht: (2025)

AgentDyn: Are Your Agent Security Defenses Deployable in Real-World Dynamic Environments?
von: Li, Hao, et al.
Veröffentlicht: (2026)

Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks
von: Zhang, Bosi, et al.
Veröffentlicht: (2025)

IstGPT: LLM-based Anomaly Detection for Spatial-Temporal Graph in Industrial Systems
von: Zhang, Yuchen, et al.
Veröffentlicht: (2026)

Shell or Nothing: Real-World Benchmarks and Memory-Activated Agents for Automated Penetration Testing
von: Mai, Wuyuao, et al.
Veröffentlicht: (2025)

Anomaly Detection in Industrial Control Systems Based on Cross-Domain Representation Learning
von: Zhan, Dongyang, et al.
Veröffentlicht: (2025)

Auto-Stega: An Agent-Driven System for Lifelong Strategy Evolution in LLM-Based Text Steganography
von: Zhou, Jiuan, et al.
Veröffentlicht: (2025)

Towards Transparent and Incentive-Compatible Collaboration in Decentralized LLM Multi-Agent Systems: A Blockchain-Driven Approach
von: Qi, Minfeng, et al.
Veröffentlicht: (2025)

Classical Verification of Quantum Computations in Linear Time
von: Zhang, Jiayu
Veröffentlicht: (2022)

TORCHLIGHT: Shedding LIGHT on Real-World Attacks on Cloudless IoT Devices Concealed within the Tor Network
von: Pan, Yumingzhi, et al.
Veröffentlicht: (2025)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
von: Akyash, Mohammad, et al.
Veröffentlicht: (2024)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
von: Zhang, Zhuoruo, et al.
Veröffentlicht: (2022)

A Dual-Level Cancelable Framework for Palmprint Verification and Hack-Proof Data Storage
von: Yang, Ziyuan, et al.
Veröffentlicht: (2024)

Poster: SpiderSim: Multi-Agent Driven Theoretical Cybersecurity Simulation for Industrial Digitalization
von: Li, Jiaqi, et al.
Veröffentlicht: (2025)

Exploration on Real World Assets and Tokenization
von: Xia, Ning, et al.
Veröffentlicht: (2025)