Browse "CS-Conference Papers(학술회의논문)" by Author Han, Taisook
Showing results 1 to 31 of 31
| A Java BIrthmark Based on Similarity Between Instructions of Control Flow Graph Park, Heewan; Lim, Hyun-il; Choi, Seokwoo; Han, Taisook, The 31th Korea Information Processing Society Spring Conference, pp.424 - 427, 2009 |
| A Practical Implementation of Root Optimization in G-machine Choi, Kwanghoon; Han, Taisook, 10th International Workshop on Implementation of Functional Languages, pp.117 - 133, 1998 |
| A Static Birthmark of Binary Executables Based on API call Structure Choi, Seokwoo; Park, Heewan; Lim, Hyun-il; Han, Taisook, Lecture Notes in Computer Science, pp.2 - 16, Springer, 2007-12 |
| A static birthmark of binary executables based on API call structure Choi, Seokwoo; Park, Heewan; Lim, Hyun-il; Han, Taisook, 12th Asian Computing Science Conference, ASIAN 2007, pp.2 - 16, Springer Verlag (Germany), 2007-12-09 |
| A Static Bug Detector for Object Initialization Problem in Java Programs Kang, Hyun-Goo; Kim, Youil; Seo, Sunae; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.7 - 12, 2005-06-01 |
| A static java birthmark based on control flow edges Lim, Hyun-il; Park, Heewan; Choi, Seokwoo; Han, Taisook, 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, pp.413 - 420, IEEE, 2009-07-20 |
| A static Java birthmark based on operand stack behaviors Park, Heewan; Lim, Hyun-il; Choi, Seokwoo; Han, Taisook, 2nd International Conference on Information Security and Assurance, ISA 2008, pp.133 - 136, IEEE, 2008-04-24 |
| A Type System For the Push-Enter Model Choi, Kwanghoon; Han, Taisook, The Second Asian Workshop on Programming Languages And Systems, pp.13 - 27, 2001 |
| Analysis of Parallelism in Recursive Functions on Recursive Data Structures Ahn, Joonseon; Han, Taisook, Proceedings of Implementation of Declarative Language(IDL'99), pp.163 - 179, Proceedings of Implementation of Declarative Language(IDL'99), 1999-09-01 |
| Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools Yun, Jeong-Han; Kim, Gunwoo; Son, Choonho; Han, Taisook, Lecture Notes in Computer Science. Vol.4096, pp.742-753, 2006-10 |
| Binary code Obfuscation Using Stack Operations against Static Disassembly Choi, Seokwoo; Han, Taisook, The 5th Asia Pacific International Symposium on Information Technology, pp.71 - 74, The 5th Asia Pacific International Symposium on Information Technology, 2006-01-01 |
| Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine Choi, Kwanghoon; Lim, HI; Han, Taisook, 5th International Symposium, Funcional and Logic Programming 2001, pp.92 - 107, 5th International Symposium, Funcional and Logic Programming 2001, 2001-03-01 |
| Detecting code theft via a static instruction trace birthmark for java methods Park, Heewan; Choi, Seokwoo; Lim, Hyun-il; Han, Taisook, IEEE INDIN 2008: 6th IEEE International Conference on Industrial Informatics, pp.551 - 556, IEEE, 2008-07-13 |
| Detecting Java theft based on static API trace birthmark Park, Heewan; Choi, Seokwoo; Lim, Hyun-il; Han, Taisook, 3rd International Workshop on Security, IWSEC 2008, pp.121 - 135, Springer Verlag (Germany), 2008-11-25 |
| Dex: A Simulation Language Processor Chung, Gyu-Sik; Han, Taisook, International Conference on Policy Analysis and Information system, pp.215 - 222, 1981 |
| Efficient Construction of Over-Approximated CFG on Esterel Kim, Chul-Joo; Yun, Jeong-Han; Seo, Sunae; Choe, Kwang-Moo; Han, Taisook, The KIISE Korea Computer Congress 2009, pp.379 - 380, 2009 |
| Fault Tolerant Wormhole Routing in 2D Mesh with Overlapped Solid Fault Regions Kim, Seong-Pyo; Han, Taisook, 8th IEEE Symposium on Parallel Distributed Processing, IEEE, 1996 |
| Hardware/Software Codesign with Push-Pull Interface Son, Choonho; Yun, Jeong-Han; Kim, Gun-Woo; Han, Taisook, The 5th Asia Pacific International Symposium on Information Technology, pp.55 - 58, 2006-01-01 |
| Hardware/Software Interface Generation for Embedded System using Hardware Interface Automata Son, Choonho; Yun, Jeon-Han; Kang, Hyun-Goo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.213 - 218, 2005-06-01 |
| Modular Analysis for Schizophrenia in Esterel Yun, Jeong-Han; Hwang, Joonhyung; Han, Taisook, The 1st Jeju Conference on Computer and Information Science (JCCIS), pp.113 - 117, The 1st Jeju Conference on Computer and Information Science (JCCIS), 2010 |
| Move and Smooth Routing Algorithms on Mesh-connected Computers Han, Taisook; Stanat, Donald F., 28th Annual Allerton Conference on Communication,control, and Computing, pp.236 - 243, 1990 |
| Object-oriented VRML for multi-user environments Park, Sungwoo; Han, Taisook, 2nd Symposium on the Virtual Reality Modeling Language, VRML 1997, pp.25 - 32, 1997-02-24 |
| Refining schizophrenia via graph reachability in esterel Yun, Jeong-Han; Kim, Chul-Joo; Seo, Sunae; Han, Taisook; Choe, Kwang-Moo, 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, pp.18 - 27, IEEE, 2009-07-13 |
| SCV: Structure and constant value based binary diffing Park, Heewan; Choi, Seokwoo; Seo, Sunae; Han, Taisook, 2nd International Conference on Information Security and Assurance, ISA 2008, pp.32 - 35, IEEE, 2008-04-24 |
| Surface-based Scene Description Method with Abstract3D and X3D Choi, Seokwoo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.477 - 481, 2005-06-01 |
| The Design Principles of Object-Oriented VRML Park, Sungwoo; Han, Taisook, Object-Orientation Workshop in VRML 98, 1998 |
| Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
| Visualization of Path Expressions in a Visual Object-Oriented Database Query Language Kim, Jeonghee; Han, Taisook; Lee, Suk Kyoon, 6th International Conference on Database Systems for Advanced Applications, 6th International Conference on Database Systems for Advanced Applications, 1999-04 |
| ZG-machine: a space efficient G-machine Woo, Gyun; Han, Taisook, 1st Scottish Functional Programming Workshop, pp.377 - 386, 1999 |
| 소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 기법 박희완; Han, Taisook, 한국정보과학회 2009년 추계학술발표대회, 한국정보과학회, 2009-11-28 |
| 정적 트레이스 기반의 자바 버스마킹 기법(Static Trace based Java Birthmarking Technique) Park, Heewan; Lim, Hyun-il; Choi, Seokwoo; Han, Taisook, 제29회 한국정보처리학회 춘계학술발표대회, pp.281 - 284, 한국정보처리학회, 2008 |
Discover
Type
- 102 Article
- 7,390 Conference
- 1 Thesis
Date issued
- 937 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989