Workflow-level formal analysis of BLE pairing and a lightweight server-assisted key agreement framework

Tao Feng, Yu Wang, Yi Wu. Workflow-level formal analysis of BLE pairing and a lightweight server-assisted key agreement framework. Computers & Electrical Engineering, 135:111094, 2026. [doi]

Abstract

Abstract is missing.