Davidson D, Moench B, Ristenpart T, et al. {FIE} on firmware: Finding vulnerabilities in embedded systems using symbolic execution[C]//Presented as part of the 22nd {USENIX} Security Symposium ({USENIX} Security 13). 2013: 463-478.
https://www.usenix.org/conference/usenixsecurity13/technical-sessions/paper/davidson