Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution

Yao Yao, Wei Zhou, Yan Jia, Lipeng Zhu, Peng Liu, Yuqing Zhang. Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution. In Kazue Sako, Steve Schneider, Peter Y. A. Ryan, editors, Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I. Volume 11735 of Lecture Notes in Computer Science, pages 638-657, Springer, 2019. [doi]

@inproceedings{YaoZJZLZ19,
  title = {Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution},
  author = {Yao Yao and Wei Zhou and Yan Jia and Lipeng Zhu and Peng Liu and Yuqing Zhang},
  year = {2019},
  doi = {10.1007/978-3-030-29959-0_31},
  url = {https://doi.org/10.1007/978-3-030-29959-0_31},
  researchr = {https://researchr.org/publication/YaoZJZLZ19},
  cites = {0},
  citedby = {0},
  pages = {638-657},
  booktitle = {Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I},
  editor = {Kazue Sako and Steve Schneider and Peter Y. A. Ryan},
  volume = {11735},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-29959-0},
}