Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution.

Yao Yao, Wei Zhou, Yan Jia, Lipeng Zhu, Peng Liu, Yuqing Zhang

Browse the full ESORICS paper archive.