Chin-Wei Tien, Tsung-Ta Tsai, Ing-Yi Chen, Sy-Yen Kuo. UFO - Hidden Backdoor Discovery and Security Verification in IoT Device Firmware. In Sudipto Ghosh, Roberto Natella, Bojan Cukic, Robin Poston, Nuno Laranjeiro, editors, 2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018. pages 18-23, IEEE, 2018. [doi]