| 2018 | ACSAC | Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs. | Joonhyung Hwang, Taisook Han |
| 2015 | CCS | CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality. | Chung Hwan Kim, Sungjin Park, Junghwan Rhee, Jong-Jin Won, Taisook Han, Dongyan Xu |
| 2009 | COMPSAC | A Static Java Birthmark Based on Control Flow Edges. | Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han |
| 2009 | MEMOCODE | Refining schizophrenia via graph reachability in Esterel. | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe |
| 2008 | IWSEC | Detecting Java Theft Based on Static API Trace Birthmark. | Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han |
| 2006 | EUC | Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. | Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han |
| 2005 | APLAS | A Path Sensitive Type System for Resource Usage Verification of C Like Languages. | Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han |
| 2001 | APLAS | A Type System for the Push-Enter Model. | Kwanghoon Choi, Taisook Han |
| 2001 | FLOPS | Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. | Kwanghoon Choi, Hyun-il Lim, Taisook Han |
| 1999 | DASFAA | Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. | Jeonghee Kim, Taisook Han, Suk Kyoon Lee |