CO3: Concolic Co-execution for Firmware.

Changming Liu Alejandro Mera Engin Kirda Meng Xu Long Lu

Published in: USENIX Security Symposium (2024)

Keyphrases

operating system
execution model
power consumption
computer systems
real world
machine learning
social networks
expert systems
hidden markov models
data flow
error detection
plan generation
program execution