Concolic testing for firmware binaries

[September 2021] Tashfia Alam’s work on concolic testing for firmware binaries has been accepted at ASP-DAC 2022. This is collaborative work with Intel. Congratulations Tashfia! Preprints of the papers will be available from our Publications page.