ASTo: A tool for security analysis of IoT systems

Published in 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications, 2017

Recommended citation: Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil Panaousis (2017). "ASTo: A tool for security analysis of IoT systems." IEEE 15th International Conference on Software Engineering Research, Management and Applications. /files/pdf/papers/mavropoulos2017asto.pdf