Taisook Han

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 3

Top Topics

Operating System

Predicate Logic

Top Venues

IEICE Trans. Inf. Syst.

ACM Trans. Embed. Comput. Syst.

J. Syst. Softw.

Publications

Sungjin Park, Chung Hwan Kim, Junghwan Rhee, Jong-Jin Won, Taisook Han, Dongyan Xu
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality. IEEE Trans. Dependable Secur. Comput. 17 (4) (2020)
Joonhyung Hwang, Taisook Han
Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs. SSPREW@ACSAC (2018)
Sungjin Park, Jong-Jin Won, Jae Nam Yoon, Kyong Hoon Kim, Taisook Han
A tiny hypervisor-based trusted geolocation framework with minimized TPM operations. J. Syst. Softw. 122 (2016)
Sungjin Park, Jae Nam Yoon, Cheoloh Kang, Kyong Hoon Kim, Taisook Han
TGVisor: A Tiny Hypervisor-Based Trusted Geolocation Framework for Mobile Cloud Clients. MobileCloud (2015)
Chung Hwan Kim, Sungjin Park, Junghwan Rhee, Jong-Jin Won, Taisook Han, Dongyan Xu
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality. AsiaCCS (2015)
Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han
Detection of harmful schizophrenic statements in esterel. ACM Trans. Embed. Comput. Syst. 12 (3) (2013)
Hyun-il Lim, Taisook Han
Analyzing Stack Flows to Compare Java Programs. IEICE Trans. Inf. Syst. (2) (2012)
Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark. Comput. J. 54 (1) (2011)
Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han
Over-Approximated Control Flow Graph Construction on Pure Esterel. IEICE Trans. Inf. Syst. (5) (2010)
Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe
Refining schizophrenia via graph reachability in Esterel. MEMOCODE (2009)
Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han
A method for detecting the theft of Java programs through analysis of the control flow information. Inf. Softw. Technol. 51 (9) (2009)
Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han
A static API birthmark for Windows binary executables. J. Syst. Softw. 82 (5) (2009)
Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han
A Static Java Birthmark Based on Control Flow Edges. COMPSAC (1) (2009)
Hyun-Goo Kang, Taisook Han
A bottom-up pointer analysis using the update history. Inf. Softw. Technol. 51 (4) (2009)
Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns. IEICE Trans. Inf. Syst. (9) (2008)
Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han
Detecting Java Theft Based on Static API Trace Birthmark. IWSEC (2008)
Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han
A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Trans. Inf. Syst. (10) (2007)
Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han
A Static Birthmark of Binary Executables Based on API Call Structure. ASIAN (2007)
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han
Automatic Hardware/Software Interface Generation for Embedded System. J. Inf. Process. Syst. 2 (3) (2006)
Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. EUC (2006)
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. APLAS (2005)
Kwanghoon Choi, Taisook Han
A type system for the push-enter model. Inf. Process. Lett. 87 (4) (2003)
Kwanghoon Choi, Hyun-il Lim, Taisook Han
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. FLOPS (2001)
Kwanghoon Choi, Taisook Han
A Type System for the Push-Enter Model. APLAS (2001)
Sungwoo Park, Taisook Han
Iterative inversion of fuzzified neural networks. IEEE Trans. Fuzzy Syst. 8 (3) (2000)
Joonseon Ahn, Taisook Han
An Analytical Method for Parallelization of Recursive Functions. Parallel Process. Lett. 10 (1) (2000)
Joonseon Ahn, Taisook Han
An Analytical Method for Parallelization of Recursive Functions. Parallel Process. Lett. 10 (4) (2000)
Jeonghee Kim, Taisook Han, Suk Kyoon Lee
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. DASFAA (1999)
Gyun Woo, Taisook Han
ZG-machine: a Space-Efficient G-machine. Scottish Functional Programming Workshop (1999)
Sungwoo Park, Taisook Han
Object-Oriented VRML for Multi-User Environments. VRML (1997)
Seong-Pyo Kim, Taisook Han
Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions. Parallel Comput. 23 (13) (1997)
Min-Soo Jung, Kwang-Moo Choe, Taisook Han
An Efficient Computation of Right Context for LR-Based Error Repair. Inf. Process. Lett. 49 (2) (1994)
Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
Static Filtering on Stratified Programs. Inf. Process. Lett. 47 (5) (1993)
DongGill Lee, Kwang-Moo Choe, Taisook Han
A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. Inf. Process. Lett. 48 (4) (1993)
In-Sig Yun, Kwang-Moo Choe, Taisook Han
Syntactic Error Repair Using Repair Patterns. Inf. Process. Lett. 47 (4) (1993)
Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. Inf. Process. Lett. 47 (3) (1993)
Do-Hyung Kim, Kwang-Moo Choe, Taisook Han
Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. Parallel Process. Lett. 2 (1992)