Soteria: Automated IoT Safety and Security Analysis

TitleSoteria: Automated {IoT} Safety and Security Analysis
Publication TypeConference Paper
Year of Publication2018
AuthorsZ. Celik B, McDaniel P, Tan G
Conference Name2018 USENIX Annual Technical Conference (USENIX ATC 18)
Date Published07/2018
PublisherUSENIX Association
Conference LocationBoston, MA
ISBN NumberISBN 978-1-939133-01-4
URLhttps://www.usenix.org/conference/atc18/presentation/celik