Taisook Han
Sungjin Park 0001
Chung Hwan Kim
Junghwan Rhee
Jong-Jin Won
Taisook Han
Dongyan Xu
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality.
883-897
2020
17
IEEE Trans. Dependable Secur. Comput.
4
https://doi.org/10.1109/TDSC.2018.2817545
db/journals/tdsc/tdsc17.html#ParkKRWHX20
Joonhyung Hwang
Taisook Han
Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs.
3:1-3:12
2018
SSPREW@ACSAC
https://doi.org/10.1145/3289239.3291460
conf/acsac/2018ssprew
db/conf/acsac/ssprew2018.html#HwangH18
Sungjin Park 0001
Jong-Jin Won
Jae Nam Yoon
Kyong Hoon Kim
Taisook Han
A tiny hypervisor-based trusted geolocation framework with minimized TPM operations.
202-214
2016
122
J. Syst. Softw.
https://doi.org/10.1016/j.jss.2016.09.026
db/journals/jss/jss122.html#ParkWYKH16
Chung Hwan Kim
Sungjin Park 0001
Junghwan Rhee
Jong-Jin Won
Taisook Han
Dongyan Xu
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality.
651-656
2015
AsiaCCS
https://doi.org/10.1145/2714576.2714594
conf/ccs/2015asia
db/conf/ccs/asiaccs2015.html#KimPRWHX15
Sungjin Park 0001
Jae Nam Yoon
Cheoloh Kang
Kyong Hoon Kim
Taisook Han
TGVisor: A Tiny Hypervisor-Based Trusted Geolocation Framework for Mobile Cloud Clients.
99-108
2015
MobileCloud
https://doi.org/10.1109/MobileCloud.2015.17
https://doi.ieeecomputersociety.org/10.1109/MobileCloud.2015.17
conf/mobilecloud/2015
db/conf/mobilecloud/mobilecloud2015.html#ParkYKKH15
Jeong-Han Yun
Chul-Joo Kim
Seonggun Kim
Kwang-Moo Choe
Taisook Han
Detection of harmful schizophrenic statements in esterel.
80:1-80:23
2013
12
ACM Trans. Embed. Comput. Syst.
3
https://doi.org/10.1145/2442116.2442130
db/journals/tecs/tecs12.html#YunKKCH13
Hyun-il Lim
Taisook Han
Analyzing Stack Flows to Compare Java Programs.
565-576
2012
95-D
IEICE Trans. Inf. Syst.
2
https://doi.org/10.1587/transinf.E95.D.565
http://search.ieice.org/bin/summary.php?id=e95-d_2_565
db/journals/ieicet/ieicet95d.html#LimH12
Heewan Park
Hyun-il Lim
Seokwoo Choi
Taisook Han
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark.
108-124
2011
54
Comput. J.
1
https://doi.org/10.1093/comjnl/bxp095
db/journals/cj/cj54.html#ParkLCH11
Chul-Joo Kim
Jeong-Han Yun
Seonggun Kim
Kwang-Moo Choe
Taisook Han
Over-Approximated Control Flow Graph Construction on Pure Esterel.
985-993
2010
93-D
IEICE Trans. Inf. Syst.
5
https://doi.org/10.1587/transinf.E93.D.985
http://search.ieice.org/bin/summary.php?id=e93-d_5_985
db/journals/ieicet/ieicet93d.html#KimYKCH10
Hyun-Goo Kang
Taisook Han
A bottom-up pointer analysis using the update history.
691-707
2009
51
Inf. Softw. Technol.
4
https://doi.org/10.1016/j.infsof.2008.11.003
db/journals/infsof/infsof51.html#KangH09
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.
1338-1350
2009
51
Inf. Softw. Technol.
9
https://doi.org/10.1016/j.infsof.2009.04.011
db/journals/infsof/infsof51.html#LimPCH09
Seokwoo Choi
Heewan Park
Hyun-il Lim
Taisook Han
A static API birthmark for Windows binary executables.
862-873
2009
82
J. Syst. Softw.
5
https://doi.org/10.1016/j.jss.2008.11.848
db/journals/jss/jss82.html#ChoiPLH09
Hyun-il Lim
Heewan Park
Seokwoo Choi
Taisook Han
A Static Java Birthmark Based on Control Flow Edges.
413-420
2009
COMPSAC (1)
https://doi.org/10.1109/COMPSAC.2009.62
https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2009.62
conf/compsac/2009
db/conf/compsac/compsac2009-1.html#LimPCH09
Jeong-Han Yun
Chul-Joo Kim
Sunae Seo
Taisook Han
Kwang-Moo Choe
Refining schizophrenia via graph reachability in Esterel.
18-27
2009
MEMOCODE
https://doi.org/10.1109/MEMCOD.2009.5185374
http://dl.acm.org/citation.cfm?id=1715762
conf/memocode/2009
db/conf/memocode/memocode2009.html#YunKSHC09
Hyun-il Lim
Heewan Park
Seokwoo Choi
Taisook Han
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns.
2323-2332
2008
91-D
IEICE Trans. Inf. Syst.
9
https://doi.org/10.1093/ietisy/e91-d.9.2323
db/journals/ieicet/ieicet91d.html#LimPCH08
Heewan Park
Seokwoo Choi
Hyun-il Lim
Taisook Han
Detecting Java Theft Based on Static API Trace Birthmark.
121-135
2008
IWSEC
https://doi.org/10.1007/978-3-540-89598-5_8
conf/iwsec/2008
db/conf/iwsec/iwsec2008.html#ParkCLH08
Sunae Seo
Youil Kim
Hyun-Goo Kang
Taisook Han
A Static Bug Detector for Uninitialized Field References in Java Programs.
1663-1671
2007
90-D
IEICE Trans. Inf. Syst.
10
https://doi.org/10.1093/ietisy/e90-d.10.1663
db/journals/ieicet/ieicet90d.html#SeoKKH07
Sunae Seo
Hongseok Yang
Kwangkeun Yi
Taisook Han
Goal-directed weakening of abstract interpretation results.
2007
29
ACM Trans. Program. Lang. Syst.
6
https://doi.org/10.1145/1286821.1286830
db/journals/toplas/toplas29.html#SeoYYH07
39
Seokwoo Choi
Heewan Park
Hyun-il Lim
Taisook Han
A Static Birthmark of Binary Executables Based on API Call Structure.
2-16
2007
conf/asian/2007
ASIAN
https://doi.org/10.1007/978-3-540-76929-3_2
db/conf/asian/asian2007.html#ChoiPLH07
Choonho Son
Jeong-Han Yun
Hyun-Goo Kang
Taisook Han
Automatic Hardware/Software Interface Generation for Embedded System.
137-142
2006
2
J. Inf. Process. Syst.
3
https://doi.org/10.3745/jips.2006.2.3.137
db/journals/jips/jips2.html#SonYKH06
Jeong-Han Yun
Gunwoo Kim
Choonho Son
Taisook Han
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools.
742-753
2006
conf/euc/2006
EUC
https://doi.org/10.1007/11802167_75
db/conf/euc/euc2006.html#YunKSH06
Hyun-Goo Kang
Youil Kim
Taisook Han
Hwansoo Han
A Path Sensitive Type System for Resource Usage Verification of C Like Languages.
264-280
2005
conf/aplas/2005
APLAS
https://doi.org/10.1007/11575467_18
db/conf/aplas/aplas2005.html#KangKHH05
Kwanghoon Choi 0001
Taisook Han
A type system for the push-enter model.
205-211
2003
87
Inf. Process. Lett.
4
https://doi.org/10.1016/S0020-0190(03)00282-5
db/journals/ipl/ipl87.html#ChoiH03
Kwanghoon Choi 0001
Taisook Han
A Type System for the Push-Enter Model.
13-27
2001
conf/aplas/2001
APLAS
db/conf/aplas/aplas2001.html#ChoiH01
Kwanghoon Choi 0001
Hyun-il Lim
Taisook Han
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.
92-107
2001
conf/flops/2001
FLOPS
https://doi.org/10.1007/3-540-44716-4_6
db/conf/flops/flops2001.html#ChoiLH01
Joonseon Ahn
Taisook Han
An Analytical Method for Parallelization of Recursive Functions.
87-98
2000
10
Parallel Process. Lett.
1
db/journals/ppl/ppl10.html#AhnH00
https://doi.org/10.1142/S012962640000010X
Joonseon Ahn
Taisook Han
An Analytical Method for Parallelization of Recursive Functions.
359-370
2000
10
Parallel Process. Lett.
4
db/journals/ppl/ppl10.html#AhnH00a
https://doi.org/10.1142/S0129626400000330
Sungwoo Park
Taisook Han
Iterative inversion of fuzzified neural networks.
266-280
2000
8
IEEE Trans. Fuzzy Syst.
3
https://doi.org/10.1109/91.855916
db/journals/tfs/tfs8.html#ParkH00
Jeonghee Kim
Taisook Han
Suk Kyoon Lee
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language.
99-108
1999
DASFAA
db/conf/dasfaa/dasfaa99.html#KimHL99
conf/dasfaa/99
https://doi.org/10.1109/DASFAA.1999.765741
https://doi.ieeecomputersociety.org/10.1109/DASFAA.1999.765741
DiSC2_1/out/papers/dasfaa/00840099.pdf
books/aw/AbiteboulHV95
journals/tse/AngelaccioCS90
conf/dood/Beeri89
journals/tkde/BertinoNPS92
books/mk/Cattell97
conf/vldb/ChavdaW97
conf/pods/ConsensM90
conf/sigmod/ConsensM93
conf/sigmod/CruzMW87
journals/computer/CzejdoERE90
conf/vldb/FrohnLU94
journals/tkde/GyssensPBG94
journals/cacm/Harel88
journals/vldb/KamelWS94
books/ph/KemperM94
conf/oopsla/KhoshafianC86
conf/pods/KiferW89
conf/sigmod/KiferKS92
...
books/mit/Kim90
journals/dke/Miura94
journals/tkde/MohanK93
journals/tods/MylopoulosBW80
journals/dke/SockutBMW93
conf/sigmod/VadapartyAO93
journals/tse/WhangMSBC92
Gyun Woo
Taisook Han
ZG-machine: a Space-Efficient G-machine.
106-115
1999
conf/sfp/1999
Scottish Functional Programming Workshop
db/conf/sfp/sfp1999.html#WooH99
Seong-Pyo Kim
Taisook Han
Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions.
1937-1962
1997
23
Parallel Comput.
13
db/journals/pc/pc23.html#KimH97
https://doi.org/10.1016/S0167-8191(97)00093-8
Sungwoo Park
Taisook Han
Object-Oriented VRML for Multi-User Environments.
25-32
1997
conf/vrml/1997
VRML
https://doi.org/10.1145/253437.253447
db/conf/vrml/vrml97.html#ParkH97
Min-Soo Jung
Kwang-Moo Choe
Taisook Han
An Efficient Computation of Right Context for LR-Based Error Repair.
63-71
1994
49
Inf. Process. Lett.
2
db/journals/ipl/ipl49.html#JungCH94
https://doi.org/10.1016/0020-0190(94)90029-9
Byeong-Mo Chang
Kwang-Moo Choe
Taisook Han
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.
149-157
1993
47
Inf. Process. Lett.
3
db/journals/ipl/ipl47.html#ChangCH93
https://doi.org/10.1016/0020-0190(93)90239-6
In-Sig Yun
Kwang-Moo Choe
Taisook Han
Syntactic Error Repair Using Repair Patterns.
189-196
1993
47
Inf. Process. Lett.
4
db/journals/ipl/ipl47.html#YunCH93
https://doi.org/10.1016/0020-0190(93)90031-4
Byeong-Mo Chang
Kwang-Moo Choe
Taisook Han
Static Filtering on Stratified Programs.
237-244
1993
47
Inf. Process. Lett.
5
db/journals/ipl/ipl47.html#ChangCH93a
https://doi.org/10.1016/0020-0190(93)90133-T
DongGill Lee
Kwang-Moo Choe
Taisook Han
A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling.
163-170
1993
48
Inf. Process. Lett.
4
db/journals/ipl/ipl48.html#LeeCH93
https://doi.org/10.1016/0020-0190(93)90140-5
https://www.wikidata.org/entity/Q121357388
Do-Hyung Kim
Kwang-Moo Choe
Taisook Han
Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs.
71-79
1992
2
Parallel Process. Lett.
db/journals/ppl/ppl2.html#KimCH92
https://doi.org/10.1142/S0129626492000192
Joonseon Ahn
Byeong-Mo Chang
Kwang-Moo Choe
Kwanghoon Choi 0001
Seokwoo Choi
Hwansoo Han
Joonhyung Hwang
Min-Soo Jung
Cheoloh Kang
Hyun-Goo Kang
Chul-Joo Kim
Chung Hwan Kim
Do-Hyung Kim
Gunwoo Kim
Jeonghee Kim
Kyong Hoon Kim
Seong-Pyo Kim
Seonggun Kim
Youil Kim
DongGill Lee
Suk Kyoon Lee
Hyun-il Lim
Heewan Park
Sungjin Park 0001
Sungwoo Park
Junghwan Rhee
Sunae Seo
Choonho Son
Jong-Jin Won
Gyun Woo
Dongyan Xu
Hongseok Yang
Kwangkeun Yi
Jae Nam Yoon
In-Sig Yun
Jeong-Han Yun