Hacking Lab Hacking Lab Home People Publications CVEs Contact Light Dark Automatic Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation (to appear) Jihee Park , Insu Yun , Sukyoung Ryu October 2025 Cite Publication Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2025 Cite ×Copy Download