Showing results 1 to 47 of 47
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 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 Type System For the Push-Enter Model Choi, Kwanghoon; Han, Taisook, The Second Asian Workshop on Programming Languages And Systems, pp.13 - 27, 2001 |
Activation Record를 이용하는 그래프 축약기계 안준선; 김성표; 한태숙; 최광무, '93 프로그래밍 언어 연구회 학술 발표논문집, pp.75 - 84, 1993 |
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 |
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 |
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 |
Function-free 논리프로그램의 Bottom-up수행의 최적화를 위한 정적 필터의 최소 고정점 정형화 창병모; 최광무; 한태숙, 한국정보과학회1992 봄 학술발표논문집, v.19, no.1, pp.241 - 244, 한국정보과학회, 1992 |
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 |
KMEDIA-2: 지능형 입출력을 지원하는 PC용 하이퍼미디어 시스템 및 멀티미디어 저작 도구 황규영; 오영환; 양현승; 한태숙; 최기선; 이흥규; 노웅기; et al, 94 가을 정보과학회 학술논문 발표집 A, pp.47 - 50, 한국정보과학회, 1994-10 |
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 |
OO-VRML 을 위한 3D 브라우저의 구현 최석우; 한태숙, 한국정보과학회 2000년 춘계학술대회, pp.53 - 55, 한국정보과학회, 2000 |
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 |
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 |
Windows PE 파일의 임포트 테이블에 기반한 소프트웨어 버스마킹(Birthmarking)기법 박희완; 임현일; 최석우; 한태숙, 한국정보과학회 34회 추계학술발표대회, pp.546 - 551, 한국정보과학회, 2007 |
ZG-machine: a space efficient G-machine Woo, Gyun; Han, Taisook, 1st Scottish Functional Programming Workshop, pp.377 - 386, 1999 |
가상화 기법으로 난독화된 실행 파일의 동적 분석을 통한 핸들러 간략화 원지혜; 한태숙, 2014 한국컴퓨터종합학술대회, pp.1621 - 1623, 한국정보과학회, 2014-06-27 |
가상화를 이용하여 난독화된 바이너리의 제어 흐름 재건 황준형; 한태숙, 2014 한국컴퓨터종합학술대회, pp.1603 - 1605, 한국정보과학회, 2014-06-27 |
국방컴퓨터언어(안)을 위한 컴파일러 개발 최광무; 한태숙, 1992 프로그래밍 언어연구회 학술발표논문집 , 한국정보과학회 프로그래밍연구회 , 숭실대학교 ,서울, pp.113 - 127, 1992 |
국방컴퓨터언어(안)의 설계 최광무; 강경우; 이경옥; 창병모; 이수현; 한태숙; 이은정, 한국정보과학회프로그래밍연구회 1991년 학술발표대회, pp.1 - 15, 한국정보과학회프로그래밍연구회, 1991 |
다중사용자 환경을 위한 객체지향 VRML 박성우; 송경준; 최병태; 양광호; 한태숙, 96년 가을 한국정보과학회 충청지부 학술발표, pp.167 - 171, 한국정보과학회, 1996 |
데이터베이스를 이용한 난독화된 바이너리의 트레이스 분석 황준형; 한태숙, 2015 한국컴퓨터종합학술대회, pp.1739 - 1741, 한국정보과학회, 2015-06-26 |
멀티미디어 저작도구에서 스크립트 언어의 설계 및 구현 석은주; 우균; 한태숙; 최광무, '93 프로그래밍 언어 연구회 학술 발표회, pp.18 - 27, 1993 |
메소드 분산을 통한 자바 프로그램 난독화 기법 최석우; 박희완; 한태숙, 한국정보과학회 2003년 추계학술대회, pp.238 - 240, 한국정보과학회, 2003 |
병렬화 트렌스레이터의 설계 최광무; 한태숙; 이광근; 강경우; 이경옥; 김성훈; 조장우; et al, '95 프로그래밍 언어 연구회 학술 발표, pp.16 - 23, 1995 |
보정유형을 이용한 구문 오류 보정 윤인식; 최광무; 한태숙, '92 프로그래밍 언어 연구회 학술발표대회, pp.58 - 67, 한국정보과학회프로그래밍언어연구회, 1992 |
빠르고 자동화된 소프트웨어 분류(Fast and Automatic Classification of Software) 조우영; 박희완; 한태숙, 제 35호 한국정보과학회 추계학술대회, pp.59 - 60, 한국정보과학회, 2008 |
소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 기법 박희완; Han, Taisook, 한국정보과학회 2009년 추계학술발표대회, 한국정보과학회, 2009-11-28 |
연산자 스텍 정보를 이용한 자바 프로그램 버스마킹 기법 박희완; 임현일; 최석우; 한태숙, 한국정보처리학회 28회 추계학술대회, 한국정보처리학회, 2007 |
외부환경을 고려한 ESTEREL 프로그램 검증 안윤경; 전진성; 한태숙, 한국정보과학회 34회 추계학술대회, 한국정보과학회, 2007 |
자바가상기계를 대상으로 하는 지연계산기반 함수형 언어 컴파일러의 설계 및 구현 최광훈; 임현일; 한태숙, 제27회 한국정보과학회 추계학술발표회, 한국정보과학회, 2000 |
재귀함수의 병렬화를 위한 자료 병렬성 분석 안준선; 한태숙, 한국정보과학회 '99 추계 합동 학술발표회, pp.66 - 74, 한국정보과학회, 1999 |
정적 API 트레이스 버스마크를 이용한 자 바 클래스 도용 탐지 박희완; 최석우; 임현일; 한태숙, 한국정보과학회 한국컴퓨터종합학술대회, pp.287 - 288, 한국정보과학회, 2008 |
정적 트레이스 기반의 자바 버스마킹 기법(Static Trace based Java Birthmarking Technique) Park, Heewan; Lim, Hyun-il; Choi, Seokwoo; Han, Taisook, 제29회 한국정보처리학회 춘계학술발표대회, pp.281 - 284, 한국정보처리학회, 2008 |
제어 흐름 그래프 매칭 기반 자바 버스마크 박희완; 임현일; 최석우; 한태숙, 한국정보과학회 2009년 한국컴퓨터종합학술대회, 한국정보과학회, 2009-07-03 |
제어 흐름 그래프의 명령어 유사성에 기반한 자바 버스마크 박희완; 임현일; 최석우; 한태숙, 한국정보처리힉회 2009년 춘계학술대회, 한국정보처리힉회, 2009-04-24 |
제어 흐름을 고려한 API k-gram 소프트웨어 버스마크(A Flow-sensitive API k-gram Based Software Birthmark) 박희완; 최석우; 임현일; 한태숙, 한국정보처리학회 추계학술발표대회, pp.523 - 526, 한국정보처리학회, 2008 |
지연계산 기반 추상기계유도: 기반 언어의 의미에 Wand-Clinger 방법의 적용 최광훈; 한태숙, 98년 가을 한국정보과학회 충청지부 학술발표회, pp.185 - 188, 한국정보과학회, 1998 |
타입기반 제어흐름 분석 방법의 설계 최광훈; 한태숙, 한국정보과학회 '99 추계 합동 학술발표회, pp.19 - 24, 한국정보과학회, 1999 |
Discover