news

Aug 06, 2024 Our paper “REACT: IR-Level Patch Presence Test for Binary” has been accepted by ASE 2024.
Dec 21, 2023 Our paper “PS3: Precise Patch Presence Test based on Semantic Symbolic Signature” has been accepted by ICSE 2024.