Taisook Han

$설명: 설명: 설명: 설명: 설명: C:\Users\taisook\Desktop\삼성바탕화면\HAN_homepage\han.jpg$

KAIST

Department of Computer Science

Taisook Han

Contact Point

Surface Mail : 373-1 Guesung-dong, Yusung-gu, Daejeon, 305-701, Korea
Phone : +82-42-350-3533
Fax : +82-42-350-3510
email : han@cs.kaist.ac.kr

Education

1990 : Ph.D in Computer Science
          University of North Carolina at Chapel Hill
1978: M.S. in Computer Science
          Korea Advanced Institute of Science Techology
1976 : B.S. in Electronic Engineering
          Seoul National University

Courses Teaching

Spring 2012: CS220 Programming Principles

Spring 2012: SEP502 Introduction to Software Systems

Spring 2012: CS101 Introduction to Programming (Python Programming)

Fall 2011: CS520 Theories of Programming Languages

Experience

Professor, Division of Computer Science, 2/1991 - Present
Korea Advanced Institute of Science and Technology (KAIST), Korea
Director, IT Academy, 7/2006 - Present
Korea Advanced Institute of Science and Technology (KAIST), Korea
CEO, CyberKaist Co. Ltd., 4/2000 - 9/2002
Venture company for online education, Korea
Senior Research Staff, 3/1985 - 1/1991
Electronics and Telecommunications Research Institute, Daejeon, Korea
Research Engineer, Computer Science Research Center, 3/1984 - 2/1985
Korea Advanced Institute of Science, Seoul, Korea

Societies and Affiliations

Member of

Association for Computing Machinery (ACM), ACM SIGPLAN,
IEEE Computer Society,
Korea Institute of Information Scientists and Engineers (KIISE),
KIISE Special Interest Group on Programming Languages (SIGPL),
Korea Information Processing Society.

Publications

Referred Journal Publications

Analyzing Stack Flows to Compare Jave Programs. Hyun-il Lim and Taisook Han. IEICE Transactions on Information and Systems, Vol. E95-D, No.2, page 565-576, February 2012. [PDF]
Detection of Harmful Schizophrenic Statements in Esterel. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, and Taisook Han. ACM Transactions on Embedded Computing Systems. (Accepted, 2011/3/21)
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark. Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han. The Computer Journal, Vol. 54, No. 1, page 108 - 124, January 2011. [PDF]
Over-approximated Control Flow Graph Construction on Pure Esterel. Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han and Kwang-Moo Choe. IEICE Transactions on Information and Systems, Vol. E93-D, No.5, page 985-993, May 2010.
A Method for Detecting the Theft of Java Programs through Analysis of the Control Flow Information, Hyun-il Lim, Heewan Park, Seokwoo Choi, and Taisook Han. Information and Software Technology. Volume 51, Issue 9, Pages 1338–1350, September, 2009. [PDF]
A Static API Birthmark for Windows Binary Executables. Seokwoo Cho, Heewan Park, Hyun-il Lim, Taisook Han. Journal of Systems and Software, Volume 82, Issue 5, Page 862-873, May 2009. [PDF].
A Bottom-up Pointer Analysis Using the Update History. Hyun-Goo Kang, Taisook Han. Information & Software Technology. Volume 51, Issue 4, Pages 691-707, April 2009. [PDF]
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns. Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han. IEICE Transactions on Information and Systems, vol.E91-D(9) , September 2008. [PDF]
A Static Bug Detector for Uninitialized Field References in Java Programs. Sunae Seo, Youil Kim, Hyun-Goo Kang, and Taisook Han. IEICE Transactions on Information and Systems, vol. E-90D(10) pp. 1663-1671, October 2007. [PDF]
Goal-Directed Weakening of Abstract Interpretation Results. Sunae Seo, Hongseok Yang, Kwangkeun Yi, and Taisook Han. ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29(10) Article 39(39 pages), October 2007. [PDF]

Referred Conference Publications

A Static Java Birthmark Based on Control Flow Edges. Hyun-il Lim, Heewan Park, Seokwoo Choi, and Taisook Han. The 33^rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), July 2009. [PDF]
Refining Schizophrenia via Graph Reachability in Esterel. Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han and Kwang-Moo Choe. The Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009). July 2009. [PDF]
Detecting Java Theft Based on Static API Trace Birthmark. Heewan Park, Seokwoo Choi, Hyun-il Lim, and Taisook Han. The 3rd International Workshop on Security (IWSEC2008), November 2008. (LNCS) [PDF]
Detecting Code Theft via a Static Instruction Trace Birthmark for Java Methods. Heewan Park, Seokwoo Choi, Hyun-il Lim, and Taisook Han. The 6th IEEE International Conference on Industrial Informatics (INDIN), July 2008. [Link]
SCV: Structure and Constant Value Based Binary Diffing. Heewan Park, Seokwoo Choi, Sunae Seo, and Taisook Han. The Second International Conference on Information Security and Assurance (ISA), April 2008. [Link]
A Static Java Birthmark Based on Operand Stack Behaviors. Heewan Park, Hyun-il Lim, Seokwoo Choi, and Taisook Han. The Second International Conference on Information Security and Assurance (ISA), April 2008. [Link]
A Static Birthmark of Binary Executables Based on API call Structure. Seokwoo Choi, Heewan Park, Hyun-il Lim, and Taisook Han. The 12th Asian Computing Science Conference (ASIAN), December 2007. (LNCS4846) [PDF]
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. Jeong-Han Yun, Gunwoo Kim, Choonho Son, and Taisook Han. The 2006 IFIP International Conference on Embedded and Ubiquitous Computing (EUC), August 2006. (LNCS4096) [PDF]
Hardware/Software Codesign with Push-Pull Interface. Choonho Son, Jeong-Han Yun, Gun-Woo Kim, and Taisook Han. The 5th Asia Pacific International Symposium on Information Technology (APIS), January 2006.
Binary Code Obfuscation Using Stack Operations against Static Disassembly. Seokwoo Choi and Taisook Han. The 5th Asia Pacific International Symposium on Information Technology (APIS), January 2006.

Referred Domestic Journal Publications (Korean)

· Improvement of Confidentiality for Script Applications using HW Cryptography Functions. Changki Choi and Taisook Han. Journal of KIISE: Computing Practices and Letters, vol. 18(4), pp259 - 265, April 2012. [PDF]

· Syntax-driven Automata Generation for Esterel. Chul-Woo Lee, Chul-Joo Kim, Jeong-Han Yun, Taisook Han, and Kwang-Moo Choe. Journal of KIISE: Computing Practices and Letters, vol. 16(11), pp1136 - 1140, November 2010.

· Reducing False Alarms in Schizophrenic Parallel Synchronizer Detection for Esterel. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, and Taisook Han. Journal of KIISE: Software and Applications, vol. 37(8), pp647-652, August 2010.

· Plagiarism Detection Using Dependency Graph Analysis Specialized for JavaScript. Shin-hyong Kim, and Taisook Han. Journal of KIISE: Software and Applications, vol. 37(5), pp394-402, May 2010.

· New Schizophrenia Patterns on Esterel caused by Control/Data Signals. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, and Taisook Han. Journal of KIISE: Software and Applications, vol. 37(4), pp311-316, April 2010.

· Synthesizable Interface Verification for Hardware/Software Co-verification. Jaeho Lee, Taisook Han, and Jeong-Han Yun. Journal of KIISE: Software and Applications, vol. 37(4), pp323-339, April 2010.

· Software Montage: Filtering of Detecting Target of Similar Software for Digital Forensic Investigation. Heewan Park, and Taisook Han. Journal of KIISE: Computing Practices and Letters, vol. 16(4), pp497-8501, April 2010.

Efficient Construction of Over-approximated CFG on Esterel. Chul-Joo Kim, Jeong-Han Yun, Sunae Seo, Kwang-Moo Choe, and Taisook Han. Journal of KIISE: Computing Practices and Letters, vol. 15(11), pp876-880, November 2009.
A Java Birthmark Based on Control Flow Graph Matching. Heewan Park, Hyun-il Lim, Seokwoo Choi, and Taisook Han. Journal of KIISE: Computing Practices and Letters, vol. 15(11), pp871-875, November 2009.
An Automated Test Data Generator for Debugging Esterel Programs. Jeong-Han Yun, Minkyung Cho, Sunae Seo, and Taisook Han. Journal of Korean Institute of Information Scientists and Engineers: Software and Application, vol. 36(10), pp. 793-799, October 2009.
A Functional Unit Dynamic API Birthmark for Windows Program Code Theft Detection. Seokwoo Choi, Wooyoung Cho and Taisook Han. Journal of Korean Institute of Information Scientists and Engineers: Software and Application, vol. 36(9), pp. 767-776, September 2009.
Detecting Java Class Theft using Static API Trace Birthmark. Heewan Park, Seokwoo Choi, Hyun-il Lim, and Taisook Han. Journal of Korean Institute of Information Scientists and Engineers: Computing Practices and Letters, vol. 14(9), pp. 911-915, December 2008.
A Modular Pointer Analysis using Function Summaries. Sangwoon Park, Hyun-Goo Kang, and Taisook Han. Korea Information Science Society Journal - Software and Application, vol. 35(10), pp. 636-652, October 2008.
Analyzing Differences of Binary Executable Files using Program Structure and Constant Values. Heewan Park, Seokwoo Choi, Sunae Seo, and Taisook Han. Korea Information Science Society Journal - Software and Application, vol. 35(7), pp. 452-461, July 2008.
Automatic Hardware/Software Interface Generation for Embedded System. Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, and Taisook Han. International Journal of Information Processing Systems, vol. 2(3), pp. 137-142, December 2006.