@inproceedings{majumdar:hal-03764368,
  TITLE = {{Security auditing of internet of things devices in a smart home}},
  AUTHOR = {Majumdar, Suryadipta and Bastos, Daniel and Singhal, Anoop},
  URL = {https://inria.hal.science/hal-03764368},
  NOTE = {Part 4: Novel Applications},
  BOOKTITLE = {{17th IFIP International Conference on Digital Forensics (DigitalForensics)}},
  ADDRESS = {Virtual, China},
  EDITOR = {Gilbert Peterson and Sujeet Shenoi},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Advances in Digital Forensics XVII},
  VOLUME = {AICT-612},
  PAGES = {213-234},
  YEAR = {2021},
  MONTH = Feb,
  DOI = {10.1007/978-3-030-88381-2\_11},
  KEYWORDS = {Internet of Things ; security auditing ; formal verification},
  PDF = {https://inria.hal.science/hal-03764368/file/522103_1_En_11_Reference.pdf},
  HAL_ID = {hal-03764368},
  HAL_VERSION = {v1},
}