VeriBin: Adaptive Verification of Patches at the Binary Level.

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

Browse the full NDSS paper archive.