Sun Hyoung Kim, Dongrui Zeng, Monika Santra, Gang Tan: BinType: Type based Indirect Call Target Refinement on Binary Programs. CODASPY 2026: 269-282