Login / Signup
Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution.
Yao Yao
Wei Zhou
Yan Jia
Lipeng Zhu
Peng Liu
Yuqing Zhang
Published in:
ESORICS (1) (2019)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
management system
source code
specification language
computer systems
operating system
information security
data flow
security policies
databases
pattern matching
general purpose
information systems
artificial intelligence
data sets