Formal Analysis and Patching of BLE-SC Pairing.

Min Shi Jing Chen Kun He Haoran Zhao Meng Jia Ruiying Du

Published in: USENIX Security Symposium (2023)

Keyphrases

formal analysis
formal methods
agent model
database
real time
web services
ban logic
neural network
high dimensional
low cost
business processes
data quality