Image de couverture de livre

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Ruoxi, Li, Kun, Xu, Minghui, Zhang, Yue, Xu, Kaidi, Liu, Chunchi, Xiao, Yinhao, Cheng, Xiuzhen
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AgentDID: Trustless Identity Authentication for AI Agents
par: Xu, Minghui, et autres
Publié: (2026)

Dataset Ownership in the Era of Large Language Models
par: Li, Kun, et autres
Publié: (2025)

AutoIoT: Automated IoT Platform Using Large Language Models
par: Cheng, Ye, et autres
Publié: (2024)

I'm Spartacus, No, I'm Spartacus: Measuring and Understanding LLM Identity Confusion
par: Li, Kun, et autres
Publié: (2024)

EC-Chain: Cost-Effective Storage Solution for Permissionless Blockchains
par: Xu, Minghui, et autres
Publié: (2024)

BFT-DSN: A Byzantine Fault Tolerant Decentralized Storage Network
par: Guo, Hechuan, et autres
Publié: (2024)

On Protecting the Data Privacy of Large Language Models (LLMs): A Survey
par: Yan, Biwei, et autres
Publié: (2024)

Low Rank Comes with Low Security: Gradient Assembly Poisoning Attacks against Distributed LoRA-based LLM Systems
par: Dong, Yueyan, et autres
Publié: (2026)

Beyond Model Jailbreak: Systematic Dissection of the "Ten DeadlySins" in Embodied Intelligence
par: Huang, Yuhang, et autres
Publié: (2025)

Almost-Free Queue Jumping for Prior Inputs in Private Neural Inference
par: Zhang, Qiao, et autres
Publié: (2026)

"MCP Does Not Stand for Misuse Cryptography Protocol": Uncovering Cryptographic Misuse in Model Context Protocol at Scale
par: Yan, Biwei, et autres
Publié: (2025)

Everything You Wanted to Know About LLM-based Vulnerability Detection But Were Afraid to Ask
par: Li, Yue, et autres
Publié: (2025)

xRWA: A Cross-Chain Framework for Interoperability of Real-World Assets
par: Guo, Yihao, et autres
Publié: (2025)

CCN: Decentralized Cross-Chain Channel Networks Supporting Secure and Privacy-Preserving Multi-Hop Interactions
par: Xu, Minghui, et autres
Publié: (2025)

We Urgently Need Privilege Management in MCP: A Measurement of API Usage in MCP Ecosystems
par: Li, Zhihao, et autres
Publié: (2025)

SAGE: Signal-Amplified Guided Embeddings for LLM-based Vulnerability Detection
par: Shan, Zhengyang, et autres
Publié: (2026)

Starfish: Rebalancing Multi-Party Off-Chain Payment Channels
par: Xu, Minghui, et autres
Publié: (2025)

DataSafe: Copyright Protection with PUF Watermarking and Blockchain Tracking
par: Xue, Xiaolong, et autres
Publié: (2024)

Graph-Aware Stealthy Poison-Text Backdoors for Text-Attributed Graphs
par: Luo, Qi, et autres
Publié: (2026)

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
par: Yan, Biwei, et autres
Publié: (2025)

FileDES: A Secure Scalable and Succinct Decentralized Encrypted Storage Network
par: Xu, Minghui, et autres
Publié: (2024)

OrbitBFT: Enabling Scalable and Robust BFT Consensus in LEO Constellations
par: Sun, Tianyi, et autres
Publié: (2026)

Asynchronous BFT Consensus Made Wireless
par: Liu, Shuo, et autres
Publié: (2025)

The Imitation Game: Using Large Language Models as Chatbots to Combat Chat-Based Cybercrimes
par: Yao, Yifan, et autres
Publié: (2025)

When LLMs Copy to Think: Uncovering Copy-Guided Attacks in Reasoning LLMs
par: Li, Yue, et autres
Publié: (2025)

Give Them an Inch and They Will Take a Mile:Understanding and Measuring Caller Identity Confusion in MCP-Based AI Systems
par: Huang, Yuhang, et autres
Publié: (2026)

The Agent Economy: A Blockchain-Based Foundation for Autonomous AI Agents
par: Xu, Minghui
Publié: (2026)

A Survey on Large Language Model (LLM) Security and Privacy: The Good, the Bad, and the Ugly
par: Yao, Yifan, et autres
Publié: (2023)

If LLMs Would Just Look: Simple Line-by-line Checking Improves Vulnerability Localization
par: Li, Yue, et autres
Publié: (2024)

Trinity: A Scalable and Forward-Secure DSSE for Spatio-Temporal Range Query
par: Li, Zhijun, et autres
Publié: (2025)

A Systematic Survey of Blockchained Federated Learning
par: Wang, Zhilin, et autres
Publié: (2021)

Can Large Language Models Automate the Refinement of Cellular Network Specifications?
par: Dong, Jianshuo, et autres
Publié: (2025)

EvoPatch-IoT: Evolution-Aware Cross-Architecture Vulnerability Retrieval and Patch-State Profiling for BusyBox-Based IoT Firmware
par: Xiao, Yinhao, et autres
Publié: (2026)

A Practical Trigger-Free Backdoor Attack on Neural Networks
par: Wang, Jiahao, et autres
Publié: (2024)

PRAG: End-to-End Privacy-Preserving Retrieval-Augmented Generation
par: Li, Zhijun, et autres
Publié: (2026)

IRCopilot: Automated Incident Response with Large Language Models
par: Lin, Xihuan, et autres
Publié: (2025)

PortGPT: Towards Automated Backporting Using Large Language Models
par: Li, Zhaoyang, et autres
Publié: (2025)

Don't Let the Claw Grip Your Hand: A Security Analysis and Defense Framework for OpenClaw
par: Shan, Zhengyang, et autres
Publié: (2026)

When Skills Lie: Hidden-Comment Injection in LLM Agents
par: Wang, Qianli, et autres
Publié: (2026)

MasterKey: Automated Jailbreak Across Multiple Large Language Model Chatbots
par: Deng, Gelei, et autres
Publié: (2023)