March 5, 2025

Image Last week, Jun Xu and I were co-chairing the Binary Analysis Research (BAR) workshop at NDSS. We got a record number of submissions this year! The best paper award was won by Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper) for their awesome work on cozy: Comparative Symbolic Execution for Binary Programs! Many thanks to Vector35 for sponsoring us and providing the authors with Binary Ninja licenses!