Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray. FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. In 27th Asia and South Pacific Design Automation Conference, ASP-DAC 2022, Taipei, Taiwan, January 17-20, 2022. pages 352-357, IEEE, 2022. [doi]
Abstract is missing.