Taisook Han

According to our database, Taisook Han authored at least 35 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality.

Sungjin Park, Chung Hwan Kim, Junghwan Rhee, Jong-Jin Won, Taisook Han, Dongyan Xu

IEEE Trans. Dependable Secur. Comput., 2020

2018

Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs.

Joonhyung Hwang, Taisook Han

Proceedings of the 8th Software Security, 2018

2016

A tiny hypervisor-based trusted geolocation framework with minimized TPM operations.

Sungjin Park, Jong-Jin Won, Jae Nam Yoon, Kyong Hoon Kim, Taisook Han

J. Syst. Softw., 2016

2015

TGVisor: A Tiny Hypervisor-Based Trusted Geolocation Framework for Mobile Cloud Clients.

Sungjin Park, Jae Nam Yoon, Cheoloh Kang, Kyong Hoon Kim, Taisook Han

Proceedings of the 3rd IEEE International Conference on Mobile Cloud Computing, 2015

2013

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

2012

Analyzing Stack Flows to Compare Java Programs.

Hyun-il Lim, Taisook Han

IEICE Trans. Inf. Syst., 2012

2011

Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark.

Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han

Comput. J., 2011

2010

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

2009

A static API birthmark for Windows binary executables.

Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han

J. Syst. Softw., 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 bottom-up pointer analysis using the update history.

Hyun-Goo Kang, Taisook Han

Inf. Softw. Technol., 2009

Refining schizophrenia via graph reachability in Esterel.

Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

A Static Java Birthmark Based on Control Flow Edges.

Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

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

Detecting Java Theft Based on Static API Trace Birthmark.

Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han

Proceedings of the Advances in Information and Computer Security, 2008

2007

Goal-directed weakening of abstract interpretation results.

Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han

ACM Trans. Program. Lang. Syst., 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

A Static Birthmark of Binary Executables Based on API Call Structure.

Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han

Proceedings of the Advances in Computer Science, 2007

2006

Automatic Hardware/Software Interface Generation for Embedded System.

Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han

J. Inf. Process. Syst., 2006

Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools.

Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

2005

A Path Sensitive Type System for Resource Usage Verification of C Like Languages.

Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

A type system for the push-enter model.

Kwanghoon Choi, Taisook Han

Inf. Process. Lett., 2003

2001

Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.

Kwanghoon Choi, Hyun-il Lim, Taisook Han

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Iterative inversion of fuzzified neural networks.

Sungwoo Park, Taisook Han

IEEE Trans. Fuzzy Syst., 2000

An Analytical Method for Parallelization of Recursive Functions.

Joonseon Ahn, Taisook Han

Parallel Process. Lett., 2000

1999

ZG-machine: a Space-Efficient G-machine.

Gyun Woo, Taisook Han

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language.

Jeonghee Kim, Taisook Han, Suk Kyoon Lee

Proceedings of the Database Systems for Advanced Applications, 1999

1997

Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions.

Seong-Pyo Kim, Taisook Han

Parallel Comput., 1997

Object-Oriented VRML for Multi-User Environments.

Sungwoo Park, Taisook Han

Proceedings of the Second Symposium on Virtual Reality Modeling Language, 1997

1994

An Efficient Computation of Right Context for LR-Based Error Repair.

Min-Soo Jung, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1994

1993

Syntactic Error Repair Using Repair Patterns.

In-Sig Yun, 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

Static Filtering on Stratified Programs.

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1993

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1993

1992

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