FirVer: Concolic Testing for Systematic Validation of Firmware Binaries.

Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray

Browse the full ASPDAC paper archive.