default search action
Taisook Han
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j24]Sungjin Park
, Chung Hwan Kim
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality. IEEE Trans. Dependable Secur. Comput. 17(4): 883-897 (2020)
2010 – 2019
- 2018
- [c14]Joonhyung Hwang, Taisook Han:
Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs. SSPREW@ACSAC 2018: 3:1-3:12 - 2016
- [j23]Sungjin Park
A tiny hypervisor-based trusted geolocation framework with minimized TPM operations. J. Syst. Softw. 122: 202-214 (2016) - 2015
- [c13]Chung Hwan Kim
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality. AsiaCCS 2015: 651-656 - [c12]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: 99-108 - 2013
- [j22]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): 80:1-80:23 (2013) - 2012
- [j21]Hyun-il Lim, Taisook Han:
Analyzing Stack Flows to Compare Java Programs. IEICE Trans. Inf. Syst. 95-D(2): 565-576 (2012) - 2011
- [j20]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): 108-124 (2011) - 2010
- [j19]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. 93-D(5): 985-993 (2010)
2000 – 2009
- 2009
- [j18]Hyun-Goo Kang, Taisook Han:
A bottom-up pointer analysis using the update history. Inf. Softw. Technol. 51(4): 691-707 (2009) - [j17]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): 1338-1350 (2009) - [j16]Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han:
A static API birthmark for Windows binary executables. J. Syst. Softw. 82(5): 862-873 (2009) - [c11]Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han:
A Static Java Birthmark Based on Control Flow Edges. COMPSAC (1) 2009: 413-420 - [c10]Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe:
Refining schizophrenia via graph reachability in Esterel. MEMOCODE 2009: 18-27 - 2008
- [j15]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. 91-D(9): 2323-2332 (2008) - [c9]Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han:
Detecting Java Theft Based on Static API Trace Birthmark. IWSEC 2008: 121-135 - 2007
- [j14]Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han:
A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Trans. Inf. Syst. 90-D(10): 1663-1671 (2007) - [j13]Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han:
Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): 39 (2007) - [c8]Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han:
A Static Birthmark of Binary Executables Based on API Call Structure. ASIAN 2007: 2-16 - 2006
- [j12]Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han:
Automatic Hardware/Software Interface Generation for Embedded System. J. Inf. Process. Syst. 2(3): 137-142 (2006) - [c7]Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han:
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. EUC 2006: 742-753 - 2005
- [c6]Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han:
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. APLAS 2005: 264-280 - 2003
- [j11]Kwanghoon Choi, Taisook Han:
A type system for the push-enter model. Inf. Process. Lett. 87(4): 205-211 (2003) - 2001
- [c5]Kwanghoon Choi, Taisook Han:
A Type System for the Push-Enter Model. APLAS 2001: 13-27 - [c4]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: 92-107 - 2000
- [j10]Joonseon Ahn, Taisook Han:
An Analytical Method for Parallelization of Recursive Functions. Parallel Process. Lett. 10(1): 87-98 (2000) - [j9]Joonseon Ahn, Taisook Han:
An Analytical Method for Parallelization of Recursive Functions. Parallel Process. Lett. 10(4): 359-370 (2000) - [j8]Sungwoo Park, Taisook Han:
Iterative inversion of fuzzified neural networks. IEEE Trans. Fuzzy Syst. 8(3): 266-280 (2000)
1990 – 1999
- 1999
- [c3]Jeonghee Kim, Taisook Han, Suk Kyoon Lee:
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. DASFAA 1999: 99-108 - [c2]Gyun Woo, Taisook Han:
ZG-machine: a Space-Efficient G-machine. Scottish Functional Programming Workshop 1999: 106-115 - 1997
- [j7]Seong-Pyo Kim, Taisook Han:
Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions. Parallel Comput. 23(13): 1937-1962 (1997) - [c1]Sungwoo Park, Taisook Han:
Object-Oriented VRML for Multi-User Environments. VRML 1997: 25-32 - 1994
- [j6]Min-Soo Jung, Kwang-Moo Choe, Taisook Han:
An Efficient Computation of Right Context for LR-Based Error Repair. Inf. Process. Lett. 49(2): 63-71 (1994) - 1993
- [j5]Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han:
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. Inf. Process. Lett. 47(3): 149-157 (1993) - [j4]In-Sig Yun, Kwang-Moo Choe, Taisook Han:
Syntactic Error Repair Using Repair Patterns. Inf. Process. Lett. 47(4): 189-196 (1993) - [j3]Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han:
Static Filtering on Stratified Programs. Inf. Process. Lett. 47(5): 237-244 (1993) - [j2]DongGill Lee, Kwang-Moo Choe, Taisook Han:
A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. Inf. Process. Lett. 48(4): 163-170 (1993) - 1992
- [j1]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: 71-79 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: