Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil A. Panaousis. ASTo: A tool for security analysis of IoT systems. In Liz Bacon, Jixin Ma, Lachlan M. MacKinnon, editors, 15th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2017, London, United Kingdom, June 7-9, 2017. pages 395-400, IEEE, 2017. [doi]
Abstract is missing.