@inproceedings {215955, author = {Z. Berkay Celik and Patrick McDaniel and Gang Tan}, title = {Soteria: Automated {IoT} Safety and Security Analysis}, booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)}, year = {2018}, isbn = {ISBN 978-1-939133-01-4}, address = {Boston, MA}, pages = {147--158}, url = {https://www.usenix.org/conference/atc18/presentation/celik}, publisher = {USENIX Association}, month = jul }