@inproceedings{f50df2161db941fe87a48b247b768d20,
title = "Comparing formal models of IoT app coordination analysis",
keywords = "Coordination Threats, Formal Verification, IoT Safety",
author = "Clay Stevens and Mohannad Alhanahnah and Qiben Yan 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.; 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment, SEAD 2020, co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020 ; Conference date: 09-11-2020",
year = "2020",
month = nov,
day = "9",
doi = "10.1145/3416507.3423188",
language = "English",
series = "SEAD 2020 - Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment, Co-located with ESEC/FSE 2020",
publisher = "Association for Computing Machinery",
pages = "3--10",
editor = "Matthias Galster and Mehdi Mirakhorli and Laurie Williams",
booktitle = "SEAD 2020 - Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment, Co-located with ESEC/FSE 2020",
}