Skip to main content

[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.

  • Contact Dr. Sandip Ray

    sandip@ece.ufl.edu
    Malachowsky Hall 4131
    352-392-1605

  • Sponsors

    We gratefully acknowledge the generous support of our sponsors. Note that any opinions, findings, conclusions, or recommendations presented here are only those of the researchers and do not necessarily reflect the views of the sponsors.