Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yan, Biwei, Zhang, Yue, Xu, Minghui, Pan, Runyu, Li, Jinku, Cheng, Xiuzhen
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security Networking and Internet Architecture
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Prekey Pogo: Investigating Security and Privacy Issues in WhatsApp's Handshake Mechanism
par: Gegenhuber, Gabriel K., et autres
Publié: (2025)

Design and Performance Evaluation of a BLE-Based IoT Authentication System
par: Yadav, Nitesh, et autres
Publié: (2026)

Generative AI for Vulnerability Detection in 6G Wireless Networks: Advances, Case Study, and Future Directions
par: Yang, Shuo, et autres
Publié: (2025)

A Comprehensive Framework for Building Highly Secure, Network-Connected Devices: Chip to App
par: Reaz, Khan, et autres
Publié: (2025)

DNS Query Forgery: A Client-Side Defense Against Mobile App Traffic Profiling
par: Jimenez-Berenguel, Andrea, et autres
Publié: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
par: Zhang, Qifan, et autres
Publié: (2025)

Vulnerability Disclosure or Notification? Best Practices for Reaching Stakeholders at Scale
par: Chen, Ting-Han, et autres
Publié: (2025)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
par: Pereira, João C., et autres
Publié: (2024)

Evaluating Vulnerabilities of Connected Vehicles Under Cyber Attacks by Attack-Defense Tree
par: Mollah, Muhammad Baqer, et autres
Publié: (2025)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
par: Crochet, Christophe, et autres
Publié: (2025)

Partially Synchronous BFT Consensus Made Practical in Wireless Networks
par: Liu, Shuo, et autres
Publié: (2024)

The HTTP Garden: Discovering Parsing Vulnerabilities in HTTP/1.1 Implementations by Differential Fuzzing of Request Streams
par: Kallus, Ben, et autres
Publié: (2024)

DYST (Did You See That?): An Amplified Covert Channel That Points To Previously Seen Data
par: Wendzel, Steffen, et autres
Publié: (2022)

AndroScanner: Automated Backend Vulnerability Detection for Android Applications
par: Dandu, Harini
Publié: (2026)

Never Gonna Give You Up: Exploring Deprecated NULL Ciphers in Commercial VoWiFi Deployments
par: Gegenhuber, Gabriel Karl, et autres
Publié: (2024)

E-DoH: Elegantly Detecting the Depths of Open DoH Service on the Internet
par: Dong, Cong, et autres
Publié: (2024)

Universal Session Protocol: Mitigating Unauthenticated Remote Code Execution
par: Anderson, Jonathon
Publié: (2023)

Schnorr Approval-Based Secure and Privacy-Preserving IoV Data Aggregation
par: Liu, Rui, et autres
Publié: (2024)

An Integrated Blockchain and IPFS Solution for Secure and Efficient Source Code Repository Hosting using Middleman Approach
par: Haque, Md. Rafid, et autres
Publié: (2024)

Flexible Non-interactive Short-term Implicit Certificate Generation for VANETs
par: Liu, Rui, et autres
Publié: (2024)

Smart Grid: Cyber Attacks, Critical Defense Approaches, and Digital Twin
par: Zheng, Tianming, et autres
Publié: (2022)

Zero-Day Threats Detection for Critical Infrastructures
par: Nkongolo, Mike, et autres
Publié: (2023)

RRC Signaling Storm Detection in O-RAN
par: Nguyen, Dang Kien, et autres
Publié: (2025)

Resource-Aware Layered Intrusion Detection Allocation Model
par: Pădurean, Ioan, et autres
Publié: (2026)

Exploiting and Securing ML Solutions in Near-RT RIC: A Perspective of an xApp
par: Dayaratne, Thusitha, et autres
Publié: (2024)

Genos: General In-Network Unsupervised Intrusion Detection by Rule Extraction
par: Li, Ruoyu, et autres
Publié: (2024)

Is Crunching Public Data the Right Approach to Detect BGP Hijacks?
par: Giaconia, Alessandro, et autres
Publié: (2025)

IXmon: Detecting and Analyzing DRDoS Attacks at Internet Exchange Points
par: Subramani, Karthika, et autres
Publié: (2020)

Shy Guys: A Light-Weight Approach to Detecting Robots on Websites
par: Van Boxem, Rémi, et autres
Publié: (2026)

A Comparative Study of Recent Advances in Internet of Intrusion Detection Things
par: Rezk, Marianna, et autres
Publié: (2026)

Detecting Adversarial Spectrum Attacks via Distance to Decision Boundary Statistics
par: Zhao, Wenwei, et autres
Publié: (2024)

Magnifier: Detecting Network Access via Lightweight Traffic-based Fingerprints
par: Li, Wenhao, et autres
Publié: (2024)

Navigating Connected Car Cybersecurity: Location Anomaly Detection with RAN Data
par: Wang, Feng, et autres
Publié: (2024)

Leveraging Machine Learning Techniques in Intrusion Detection Systems for Internet of Things
par: Jamshidi, Saeid, et autres
Publié: (2025)

Domainator: Detecting and Identifying DNS-Tunneling Malware Using Metadata Sequences
par: Petrov, Denis, et autres
Publié: (2025)

LLM-based Continuous Intrusion Detection Framework for Next-Gen Networks
par: Adjewa, Frederic, et autres
Publié: (2024)

A Framework for Detection and Classification of Attacks on Surveillance Cameras under IoT Networks
par: Amjid, Umair, et autres
Publié: (2025)

A Case for Network-wide Orchestration of Host-based Intrusion Detection and Response
par: Timmons, Mark, et autres
Publié: (2025)

Over-Threshold Multiparty Private Set Intersection for Collaborative Network Intrusion Detection
par: Arpaci, Onur Eren, et autres
Publié: (2025)

CyberSentinel: Efficient Anomaly Detection in Programmable Switch using Knowledge Distillation
par: Mittal, Sankalp
Publié: (2024)