@inproceedings{7f45cf1a269749c582a87ebae7bfd0b3,
title = "Scalable analysis of interaction threats in IoT systems",
keywords = "Formal Verification, Interaction Threats, IoT Safety",
author = "Mohannad Alhanahnah and Clay Stevens and Hamid Bagheri",
note = "Funding Information: We would like to thank the anonymous reviewers for their valuable comments. This work was supported in part by awards CCF-1755890 and CCF-1618132 from the National Science Foundation. Publisher Copyright: {\textcopyright} 2020 ACM.; 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020 ; Conference date: 18-07-2020 Through 22-07-2020",
year = "2020",
month = jul,
day = "18",
doi = "10.1145/3395363.3397347",
language = "English",
series = "ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery",
pages = "272--285",
editor = "Sarfraz Khurshid and Pasareanu, {Corina S.}",
booktitle = "ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis",
}