Browse "School of Computing(전산학부)" by Author Han, Taisook
Showing results 1 to 58 of 58
| A bottom-up pointer analysis using the update history Kang, Hyun-Goo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707, 2009-04 |
| A DESCRIPTION OF DYNAMIC BEHAVIOR FOR COMPILERS BASED ON OBJECT-ORIENTED MODELING LEE, DG; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.48, no.4, pp.163 - 170, 1993-10 |
| 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 method for detecting the theft of Java programs through analysis of the control flow information Lim, Hyun-il; Park, Heewan; Choi, Seokwoo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.9, pp.1338 - 1350, 2009-09 |
| A path sensitive type system for resource usage verification of C like languages Kang, HG; Kim, Y; Han, Taisook; Han, H, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Book Series: LECTURE NOTES IN COMPUTER SCIENCE, v.3780, pp.264 - 280, 2005-11 |
| 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 bug detector for uninitialized field references in Java programs Seo, Sunae; Kim, Youil; Kang, Hyun-Goo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E90D, no.10, pp.1663 - 1671, 2007-10 |
| 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 |
| A type system for the push-enter model Choi, Kwanghoon; Han, Taisook, INFORMATION PROCESSING LETTERS, v.87, no.4, pp.205 - 211, 2003-08 |
| (A) virtualization-based approach to guarantee trusted execution for highly secure applications = 높은 보안성을 요구하는 프로그램을 위한 가상화 기반 신뢰성 있는 실행 보장 기법 연구link Park, Sungjin; 박성진; et al, 한국과학기술원, 2017 |
| An analytical method for parallelization of recursive functions Ahn J.; Han, Taisook, PARALLEL PROCESSING LETTERS, v.10, no.4, pp.359 - 370, 2000-12 |
| AN EFFICIENT COMPUTATION OF RIGHT CONTEXT FOR LR-BASED ERROR REPAIR JUNG, MS; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.49, no.2, pp.63 - 71, 1994-01 |
| 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 |
| Analyzing Stack Flows to Compare Java Programs Lim, HI; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E95D, no.2, pp.565 - 576, 2012-02 |
| 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, v.4096, pp.742 - 753, 2006-08 |
| 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 |
| CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality Park, Sungjin; Kim, Chung Hwan; Rhee, Junghwan; Won, Jong-Jin; Han, Taisook; Xu, Dongyan, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.17, no.4, pp.883 - 897, 2020-07 |
| 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 |
| Compressing the Graphs in the G-machine by Tag-Forwarding Woo, Gyun; Han, Taisook, JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, v.3, no.1, pp.112 - 138, 1998-01 |
| Deobfuscation of machine code using dynamic flow graphs = 동적 흐름 그래프를 이용한 기계 코드의 난독화 해제 기법link Hwang, Joonhyung; Bae, Doo-Hwan; 배두환; Han, Taisook; et al, 한국과학기술원, 2020 |
| 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 Common Modules in Java Packages Based on Static Object Trace Birthmark Park, Heewan; Lim, Hyun-Il; Choi, Seokwoo; Han, Taisook, COMPUTER JOURNAL, v.54, no.1, pp.108 - 124, 2011-01 |
| 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 |
| Detecting theft of Java applications via a static birthmark based on weighted stack patterns Lim, Hyun-il; Park, Heewan; choi, Seokwoo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E91D, no.9, pp.2323 - 2332, 2008-09 |
| Dex: A Simulation Language Processor Chung, Gyu-Sik; Han, Taisook, International Conference on Policy Analysis and Information system, pp.215 - 222, 1981 |
| EFFICIENT BOTTOM-UP EXECUTION OF LOGIC PROGRAMS USING ABSTRACT INTERPRETATION CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.3, pp.149 - 157, 1993-09 |
| 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 |
| Fault Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions Kim, Seong-Pyo; Han, Taisook, PARALLEL COMPUTING, v.23, no.13, pp.1937 - 1962, 1997-12 |
| Fault-tolerant adaptive wormhole routing in 2D mesh Kim, SP; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E81D, no.10, pp.1064 - 1071, 1998-10 |
| Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
| 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 |
| Iterative Inversion of Fuzzified Neural Networks Sungwoo Park; Han, Taisook, IEEE TRANSACTIONS ON FUZZY SYSTEMS, v.8, no.3, pp.266 - 280, 2000-06 |
| 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 |
| Over-Approximated Control Flow Graph Construction on Pure Esterel Kim, Chul-Joo; Yun, Jeong-Han; Kim, Seonggun; Choe, Kwang-Moo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.985 - 993, 2010-05 |
| Refined Mark(s)-Set-Based Backtrack Literal Selection for AND Parallelism in Logic Programs DO-HYUNG KIM; Choe, Kwang-Moo; Han, Taisook, PARALLEL PROCESSING LETTERS, v.2, no.1, pp.71 - 79, 1992-03 |
| 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 |
| STATIC FILTERING ON STRATIFIED PROGRAMS CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244, 1993-10 |
| 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 |
| Syntactic Error Repair Using Repair Patterns In-Sig Yun; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.4, pp.189 - 196, 1993-09 |
| 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 |
| VOQL: a visual object-oriented database query language for visualizing path expressions Kim, Jeonghee; Han, Taisook; Lee, Suk Kyoon, COMPUER SYSTEMS SCIENCE AND ENGINEERING, v.15, no.4, pp.215 - 232, 2000-07 |
| ZG-machine: a space efficient G-machine Woo, Gyun; Han, Taisook, 1st Scottish Functional Programming Workshop, pp.377 - 386, 1999 |
| 가상화 기법으로 난독화된 바이너리에서 심볼릭 실행을 이용한 실행경로 축약 = Simplifying execution path of virtualization-obfuscated binaries using symbolic executionlink 현신영; 한태숙; et al, 한국과학기술원, 2017 |
| 소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 기법 박희완; 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
Open Access
- 187 OA Article
Date issued
- 1,816 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989