MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations.

Bin Yuan, Zhanxiang Song, Yan Jia, Zhenyu Lu, Deqing Zou, Hai Jin, Luyi Xing

Browse the full SP paper archive.