Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Jianyu, Zhang, Fuyuan, Lu, Jiayi, Hu, Jilin, Yin, Xiaoyi, Zhang, Long, Yang, Feng, Zhao, Yongwang
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
by: Hu, Jilin, et al.
Published: (2025)

NetEcho: From Real-World Streaming Side-Channels to Full LLM Conversation Recovery
by: Zhang, Zheng, et al.
Published: (2025)

CanCal: Towards Real-time and Lightweight Ransomware Detection and Response in Industrial Environments
by: Wang, Shenao, et al.
Published: (2024)

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

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

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

Bridging the Gap between Hardware Fuzzing and Industrial Verification
by: Ma, Ruiyang, et al.
Published: (2025)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
by: Zhang, Jianyu, et al.
Published: (2025)

Safeguarding LLM Embeddings in End-Cloud Collaboration via Entropy-Driven Perturbation
by: Jin, Shuaifan, et al.
Published: (2025)

Feedback-Driven Execution for LLM-Based Binary Analysis
by: Zhang, XiangRui, et al.
Published: (2026)

A New Era in LLM Security: Exploring Security Concerns in Real-World LLM-based Systems
by: Wu, Fangzhou, et al.
Published: (2024)

TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
by: Wen, Xiaoqing, et al.
Published: (2024)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
by: Wang, Che, et al.
Published: (2024)

Towards Automating Blockchain Consensus Verification with IsabeLLM
by: Jones, Elliot, et al.
Published: (2026)

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

Can LLM Infer Risk Information From MCP Server System Logs?
by: Fu, Jiayi, et al.
Published: (2025)

XGuardian: Towards Explainable and Generalized AI Anti-Cheat on FPS Games
by: Zhang, Jiayi, et al.
Published: (2026)

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive
by: Bogdan, Alex, et al.
Published: (2026)

Demystifying Private Transactions and Their Impact in PoW and PoS Ethereum
by: Lyu, Xingyu, et al.
Published: (2025)

Artemis: Efficient Commit-and-Prove SNARKs for zkML
by: Lycklama, Hidde, et al.
Published: (2024)

ProveRAG: Provenance-Driven Vulnerability Analysis with Automated Retrieval-Augmented LLMs
by: Fayyazi, Reza, et al.
Published: (2024)

Membership Inference Attacks Cannot Prove that a Model Was Trained On Your Data
by: Zhang, Jie, et al.
Published: (2024)

No Free Lunch Theorem for Privacy-Preserving LLM Inference
by: Zhang, Xiaojin, et al.
Published: (2024)

VULSOLVER: Vulnerability Detection via LLM-Driven Constraint Solving
by: Li, Xiang, et al.
Published: (2025)

Agora: Trust Less and Open More in Verification for Confidential Computing
by: Chen, Hongbo, et al.
Published: (2024)

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

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

Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks
by: Zhang, Bosi, et al.
Published: (2025)

IstGPT: LLM-based Anomaly Detection for Spatial-Temporal Graph in Industrial Systems
by: Zhang, Yuchen, et al.
Published: (2026)

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

Anomaly Detection in Industrial Control Systems Based on Cross-Domain Representation Learning
by: Zhan, Dongyang, et al.
Published: (2025)

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

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

Classical Verification of Quantum Computations in Linear Time
by: Zhang, Jiayu
Published: (2022)

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

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
by: Akyash, Mohammad, et al.
Published: (2024)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
by: Zhang, Zhuoruo, et al.
Published: (2022)

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

Poster: SpiderSim: Multi-Agent Driven Theoretical Cybersecurity Simulation for Industrial Digitalization
by: Li, Jiaqi, et al.
Published: (2025)

Exploration on Real World Assets and Tokenization
by: Xia, Ning, et al.
Published: (2025)