TY  - CONF
AU  - Kayla Ibrahim
AU  - Suryadipta Majumdar
AU  - Daniel Bastos
AU  - Anoop Singhal
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  -