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]

Authors

Jintao Huang

This author has not been identified. Look up 'Jintao Huang' in Google

Gaosheng Wang

This author has not been identified. Look up 'Gaosheng Wang' in Google

Zhiqiang Shi

This author has not been identified. Look up 'Zhiqiang Shi' in Google

Fei Lv

This author has not been identified. Look up 'Fei Lv' in Google

Weidong Zhang

This author has not been identified. Look up 'Weidong Zhang' in Google

Shichao Lv

This author has not been identified. Look up 'Shichao Lv' in Google