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

Presented at IEEE Symposium on Security and Privacy 2024 by

Bin Yuan

Zhanxiang Song

Yan Jia

Zhenyu Lu

Deqing Zou

Hai Jin

Luyi Xing