Wen-Yu Lin, Min-Zheng Shieh, Yi-Bing Lin: Web API Verifier for IoTtalk and Its Applications. MobiSec 2022: 323-337