Browse "School of Computing(전산학부)" by Author Han, Taisook

Showing results 1 to 58 of 58

1
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

2
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

3
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

4
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

5
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

6
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

7
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

8
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

9
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

10
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

11
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

12
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

13
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

14
A type system for the push-enter model

Choi, Kwanghoon; Han, Taisook, INFORMATION PROCESSING LETTERS, v.87, no.4, pp.205 - 211, 2003-08

15
(A) virtualization-based approach to guarantee trusted execution for highly secure applications = 높은 보안성을 요구하는 프로그램을 위한 가상화 기반 신뢰성 있는 실행 보장 기법 연구link

Park, Sungjin; 박성진; et al, 한국과학기술원, 2017

16
An analytical method for parallelization of recursive functions

Ahn J.; Han, Taisook, PARALLEL PROCESSING LETTERS, v.10, no.4, pp.359 - 370, 2000-12

17
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

18
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

19
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

20
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

21
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

22
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

23
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

24
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

25
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

26
Deobfuscation of machine code using dynamic flow graphs = 동적 흐름 그래프를 이용한 기계 코드의 난독화 해제 기법link

Hwang, Joonhyung; Bae, Doo-Hwan; 배두환; Han, Taisook; et al, 한국과학기술원, 2020

27
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

28
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

29
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

30
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

31
Dex: A Simulation Language Processor

Chung, Gyu-Sik; Han, Taisook, International Conference on Policy Analysis and Information system, pp.215 - 222, 1981

32
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

33
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

34
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

35
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

36
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

37
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

38
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

39
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

40
Iterative Inversion of Fuzzified Neural Networks

Sungwoo Park; Han, Taisook, IEEE TRANSACTIONS ON FUZZY SYSTEMS, v.8, no.3, pp.266 - 280, 2000-06

41
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

42
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

43
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

44
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

45
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

46
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

47
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

48
STATIC FILTERING ON STRATIFIED PROGRAMS

CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244, 1993-10

49
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

50
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

51
The Design Principles of Object-Oriented VRML

Park, Sungwoo; Han, Taisook, Object-Orientation Workshop in VRML 98, 1998

52
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

53
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

54
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

55
ZG-machine: a space efficient G-machine

Woo, Gyun; Han, Taisook, 1st Scottish Functional Programming Workshop, pp.377 - 386, 1999

56
가상화 기법으로 난독화된 바이너리에서 심볼릭 실행을 이용한 실행경로 축약 = Simplifying execution path of virtualization-obfuscated binaries using symbolic executionlink

현신영; 한태숙; et al, 한국과학기술원, 2017

57
소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 기법

박희완; Han, Taisook, 한국정보과학회 2009년 추계학술발표대회, 한국정보과학회, 2009-11-28

58
정적 트레이스 기반의 자바 버스마킹 기법(Static Trace based Java Birthmarking Technique)

Park, Heewan; Lim, Hyun-il; Choi, Seokwoo; Han, Taisook, 제29회 한국정보처리학회 춘계학술발표대회, pp.281 - 284, 한국정보처리학회, 2008

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0