Firmware validation: challenges and opportunities | IEEE Conference Publication | IEEE Xplore