@conference{811881,
  author = {Kayla Ibrahim and Suryadipta Majumdar and Daniel Bastos and Anoop Singhal},
  title = {Defining Actionable Rules for Verifying IOT Safety and Security},
  year = {2020},
  month = {2020-05-18 00:05:00},
  publisher = {41st IEEE Symposium on Security and Privacy, San Francisco, CA, US},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=930071},
  language = {en},
}