SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries

Jintao Huang, Gaosheng Wang, Zhiqiang Shi, Fei Lv, Weidong Zhang, Shichao Lv. SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries. In Holger Hermanns, Jun Sun 0001, Lei Bu, editors, Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Volume 14464 of Lecture Notes in Computer Science, pages 92-111, Springer, 2023. [doi]

@inproceedings{HuangWSLZL23,
  title = {SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries},
  author = {Jintao Huang and Gaosheng Wang and Zhiqiang Shi and Fei Lv and Weidong Zhang and Shichao Lv},
  year = {2023},
  doi = {10.1007/978-981-99-8664-4_6},
  url = {https://doi.org/10.1007/978-981-99-8664-4_6},
  researchr = {https://researchr.org/publication/HuangWSLZL23},
  cites = {0},
  citedby = {0},
  pages = {92-111},
  booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings},
  editor = {Holger Hermanns and Jun Sun 0001 and Lei Bu},
  volume = {14464},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-981-99-8664-4},
}