@inproceedings{dejon:hal-03173903,
  TITLE = {{Automated Security Analysis of IoT Software Updates}},
  AUTHOR = {Dejon, Nicolas and Caputo, Davide and Verderame, Luca and Armando, Alessandro and Merlo, Alessio},
  URL = {https://inria.hal.science/hal-03173903},
  NOTE = {Part 6: Internet of Things},
  BOOKTITLE = {{13th IFIP International Conference on Information Security Theory and Practice (WISTP)}},
  ADDRESS = {Paris, France},
  EDITOR = {Maryline Laurent and Thanassis Giannetsos},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Information Security Theory and Practice},
  VOLUME = {LNCS-12024},
  PAGES = {223-239},
  YEAR = {2019},
  MONTH = Dec,
  DOI = {10.1007/978-3-030-41702-4\_14},
  KEYWORDS = {IoT applications ; Software Updates ; SUIT ; Model checking ; Security policy},
  PDF = {https://inria.hal.science/hal-03173903/file/492809_1_En_14_Chapter.pdf},
  HAL_ID = {hal-03173903},
  HAL_VERSION = {v1},
}