TY  - RPRT
TI  - What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
AU  - Biwei Yan
AU  - Yue Zhang
AU  - Minghui Xu
AU  - Runyu Pan
AU  - Jinku Li
AU  - Xiuzhen Cheng
PY  - 2025
UR  - https://arxiv.org/abs/2509.09291
ID  - 2509.09291
ER  -