Taisook Han

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