Soteria: Automated IoT Safety and Security Analysis.

Z. Berkay Celik, Patrick D. McDaniel, Gang Tan

Browse the full USENIX paper archive.