Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. - Do-Hyung Kim; Kwang-Moo Choe; Taisook Han (Parallel Process. Lett., 1992)

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. - Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

Static Filtering on Stratified Programs. - Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. - DongGill Lee; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

Syntactic Error Repair Using Repair Patterns. - In-Sig Yun; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

An Efficient Computation of Right Context for LR-Based Error Repair. - Min-Soo Jung; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1994)

Object-Oriented VRML for Multi-User Environments. - Sungwoo Park; Taisook Han (VRML, 1997)

Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions. - Seong-Pyo Kim; Taisook Han (Parallel Comput., 1997)

Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. - Jeonghee Kim; Taisook Han; Suk Kyoon Lee (DASFAA, 1999)

ZG-machine: a Space-Efficient G-machine. - Gyun Woo; Taisook Han (Scottish Functional Programming Workshop, 1999)

An Analytical Method for Parallelization of Recursive Functions. - Joonseon Ahn; Taisook Han (Parallel Process. Lett., 2000)

Iterative inversion of fuzzified neural networks. - Sungwoo Park; Taisook Han (IEEE Trans. Fuzzy Syst., 2000)

A Type System for the Push-Enter Model. - Kwanghoon Choi 001; Taisook Han (APLAS, 2001)

Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. - Kwanghoon Choi 001; Hyun-il Lim; Taisook Han (FLOPS, 2001)

A Path Sensitive Type System for Resource Usage Verification of C Like Languages. - Hyun-Goo Kang; Youil Kim; Taisook Han; Hwansoo Han (APLAS, 2005)

Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. - Jeong-Han Yun; Gunwoo Kim; Choonho Son; Taisook Han (EUC, 2006)

Automatic Hardware/Software Interface Generation for Embedded System. - Choonho Son; Jeong-Han Yun; Hyun-Goo Kang; Taisook Han (J. Inf. Process. Syst., 2006)

A Static Birthmark of Binary Executables Based on API Call Structure. - Seokwoo Choi; Heewan Park; Hyun-il Lim; Taisook Han (ASIAN, 2007)

A Static Bug Detector for Uninitialized Field References in Java Programs. - Sunae Seo; Youil Kim; Hyun-Goo Kang; Taisook Han (IEICE Trans. Inf. Syst., 2007)

Goal-directed weakening of abstract interpretation results. - Sunae Seo; Hongseok Yang; Kwangkeun Yi; Taisook Han (ACM Trans. Program. Lang. Syst., 2007)

Detecting Java Theft Based on Static API Trace Birthmark. - Heewan Park; Seokwoo Choi; Hyun-il Lim; Taisook Han (IWSEC, 2008)

Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns. - Hyun-il Lim; Heewan Park; Seokwoo Choi; Taisook Han (IEICE Trans. Inf. Syst., 2008)

A Static Java Birthmark Based on Control Flow Edges. - Hyun-il Lim; Heewan Park; Seokwoo Choi; Taisook Han (COMPSAC (1), 2009)

Refining schizophrenia via graph reachability in Esterel. - Jeong-Han Yun; Chul-Joo Kim; Sunae Seo; Taisook Han; Kwang-Moo Choe (MEMOCODE, 2009)

A bottom-up pointer analysis using the update history. - Hyun-Goo Kang; Taisook Han (Inf. Softw. Technol., 2009)

A method for detecting the theft of Java programs through analysis of the control flow information. - Hyun-il Lim; Heewan Park; Seokwoo Choi; Taisook Han (Inf. Softw. Technol., 2009)

A static API birthmark for Windows binary executables. - Seokwoo Choi; Heewan Park; Hyun-il Lim; Taisook Han (J. Syst. Softw., 2009)

Over-Approximated Control Flow Graph Construction on Pure Esterel. - Chul-Joo Kim; Jeong-Han Yun; Seonggun Kim; Kwang-Moo Choe; Taisook Han (IEICE Trans. Inf. Syst., 2010)

Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark. - Heewan Park; Hyun-il Lim; Seokwoo Choi; Taisook Han (Comput. J., 2011)

Analyzing Stack Flows to Compare Java Programs. - Hyun-il Lim; Taisook Han (IEICE Trans. Inf. Syst., 2012)

Detection of harmful schizophrenic statements in esterel. - Jeong-Han Yun; Chul-Joo Kim; Seonggun Kim; Kwang-Moo Choe; Taisook Han (ACM Trans. Embed. Comput. Syst., 2013)

CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality. - Chung Hwan Kim; Sungjin Park 001; Junghwan Rhee; Jong-Jin Won; Taisook Han; Dongyan Xu (AsiaCCS, 2015)

TGVisor: A Tiny Hypervisor-Based Trusted Geolocation Framework for Mobile Cloud Clients. - Sungjin Park 001; Jae Nam Yoon; Cheoloh Kang; Kyong Hoon Kim; Taisook Han (MobileCloud, 2015)

A tiny hypervisor-based trusted geolocation framework with minimized TPM operations. - Sungjin Park 001; Jong-Jin Won; Jae Nam Yoon; Kyong Hoon Kim; Taisook Han (J. Syst. Softw., 2016)

Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs. - Joonhyung Hwang; Taisook Han (SSPREW@ACSAC, 2018)