TY - CONF AU - Ibrahim, Kayla AU - Majumdar, Suryadipta AU - Bastos, Daniel AU - Singhal, Anoop C2 - 41st IEEE Symposium on Security and Privacy, San Francisco, CA, US DA - 2020-05-18 00:05:00 LA - en PB - 41st IEEE Symposium on Security and Privacy, San Francisco, CA, US PY - 2020 TI - Defining Actionable Rules for Verifying IOT Safety and Security UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=930071 ER -