Cover Image

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Yan, Biwei, Zhang, Yue, Xu, Minghui, Pan, Runyu, Li, Jinku, Cheng, Xiuzhen
Format: Preprint
Published: 2025
Subjects:
Cryptography and Security
Networking and Internet Architecture
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items