UFO - Hidden Backdoor Discovery and Security Verification in IoT Device Firmware | IEEE Conference Publication | IEEE Xplore