VeriBin: Adaptive Verification of Patches at the Binary Level

This repository contains artifacts for the paper: VeriBin: Adaptive Verification of Patches at the Binary Level accepted at the Network and Distributed System Security Symposium (NDSS 25)

Citing this work

@inproceedings{wu2024veribin,
  title={VeriBin: Adaptive Verification of Patches at the Binary Level},
  author={Wu, Hongwei and Wu, Jianliang and Wu, Ruoyu and Sharma, Ayushi and Machiry, Aravind and Bianchi, Antonio},
  booktitle={Proceedings of the Network and Distributed System Security Symposium (NDSS)},
  year={2025}
}

Directory Explanation

The paper_experiments folder contains detailed tables showcasing the results from the experiments conducted in the paper.