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