{"id":521,"date":"2023-08-24T15:36:18","date_gmt":"2023-08-24T15:36:18","guid":{"rendered":"https:\/\/sandip.ece.ufl.edu\/?p=521"},"modified":"2026-04-14T08:04:21","modified_gmt":"2026-04-14T13:04:21","slug":"concolic-testing-for-firmware-binaries","status":"publish","type":"post","link":"https:\/\/faculty.eng.ufl.edu\/sandip\/2023\/08\/24\/concolic-testing-for-firmware-binaries\/","title":{"rendered":"Concolic testing for firmware binaries"},"content":{"rendered":"<p>[September 2021] Tashfia Alam&#8217;s work on concolic testing for firmware binaries has been accepted at ASP-DAC 2022. This is collaborative work with Intel. <b>Congratulations Tashfia!<\/b> Preprints of the papers will be available from our <a href=\"https:\/\/sandip.ece.ufl.edu\/rising-lab\/publications\/\">Publications page<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>[September 2021] Tashfia Alam&#8217;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.<\/p>\n","protected":false},"author":1365,"featured_media":263,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"inline_featured_image":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"categories":[5,7],"tags":[],"class_list":["post-521","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","category-student"],"acf":[],"_links":{"self":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/posts\/521","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/users\/1365"}],"replies":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/comments?post=521"}],"version-history":[{"count":1,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/posts\/521\/revisions"}],"predecessor-version":[{"id":3363,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/posts\/521\/revisions\/3363"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/media\/263"}],"wp:attachment":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/media?parent=521"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/categories?post=521"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/tags?post=521"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}