VeriBin: Adaptive Verification of Patches at the Binary Level

Open Webpage

Hongwei Wu, Jianliang Wu, Ruoyu Wu, Ayushi Sharma, Aravind Machiry, Antonio Bianchi

Published: 2025, Last Modified: 02 Mar 2026NDSS 2025EveryoneRevisionsBibTeXCC BY-SA 4.0