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]

Abstract

Abstract is missing.