Poster: E-Graphs and Equality Saturation for Term-Rewriting in MBA Deobfuscation: An Empirical Study. - Seoksu Lee; Hyeongchang Jeon; Eun-Sun Cho (CCS, 2024)

Dynamic Opaque Predicate Detection with a Recursive Matching Method. - Hyeongchang Jeon; Seoksu Lee; Eun-Sun Cho (COMPSAC, 2024)

Simplifying MBA Expression Using E-Graphs. - Seoksu Lee; Hyeongchang Jeon; Eun-Sun Cho (CoRR, 2024)

An Enhanced Opaque Predicate Detection Method with Synthesis and Recursive Matching. - Hyeongchang Jeon; Seoksu Lee; Eun-Sun Cho (COMPSAC, 2025)