MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers. - Andrea Palmieri; Paolo Prem; Silvio Ranise; Umberto Morelli; Tahir Ahmad (SERVICES, 2019)