Skip to content

Latest commit

 

History

History
31 lines (24 loc) · 1.04 KB

README.md

File metadata and controls

31 lines (24 loc) · 1.04 KB
Raw

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

  • paper_experiments: contains detailed tables showcasing the results from the experiments conducted in the paper.
  • examples: example usage cases of VeriBin.
  • src: source code of VeriBin.

Installation

We recommand using docker to run VeriBin.

docker build -t veribin .
docker run --rm -it veribin

Usage

You can find usage examples here.