UFO - Hidden Backdoor Discovery and Security Verification in IoT Device Firmware
Towards reducing the attack surface of software backdoors