FirVer: Concolic Testing for Systematic Validation of Firmware Binaries | IEEE Conference Publication | IEEE Xplore