Researcher Page

사진

Han, Tai-Sook (한태숙) C-2014-2011

Department
School of Computing(전산학부)
Co-author
Collaboration Network Collaboration Network
Website
http://pllab.kaist.ac.kr/~hanHomePage
Research Area
Programming Language, Compiler

Keyword Cloud

Reload 더보기
1

가상화를 이용하여 난독화된 바이너리의 제어 흐름 재건

황준형; 한태숙researcher한국정보과학회정보과학회논문지, v.42, no.1, pp.44 - 53, 2015-01

2

가상 머신 기반으로 난독화된 실행파일의 구조 및 원본의미 추출 동적 방법

한태숙researcher; 이성호한국정보과학회정보과학회논문지, v.41, no.10, pp.859 - 869, 2014-10

3

Detection of Harmful Schizophrenic Statements in Esterel

Kim, Chul-Joo; Han, Tai-Sookresearcher; Yun, Jeong-Han; Kim, Seong-Gun; Choe, Kwang-MooresearcherASSOC COMPUTING MACHINERYACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03

4

가상화 기법으로 난독화된 실행 파일의 동적 분석 방법

전준수; 한태숙researcher한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.40, no.1, pp.61 - 71, 2013-01

5

반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세

윤정한; 황준형; 한태숙researcher한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.39, no.7, pp.593 - 603, 2012-07

6

하드웨어 암호화 함수를 이용한 스크립트 응용 프로그램의 보안성 향상

최창기; 한태숙researcher한국정보과학회정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.259 - 265, 2012-04

7

Analyzing Stack Flows to Compare Java Programs

Han, Taisookresearcher; Lim, HIIEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENGIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E95D, no.2, pp.565 - 576, 2012-02

8

Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark

Park, Heewan; Lim, Hyun-Il; Han, Taisookresearcher; Choi, SeokwooOXFORD UNIV PRESSCOMPUTER JOURNAL, v.54, no.1, pp.108 - 124, 2011-01

9

Esterel 문법구조 바탕의 오토마타 생성

윤정한; 한태숙researcher; 이철우; 최광무researcher; 김철주한국정보과학회정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11

10

Esterel에서 동기장치 중복사용 문제 검출시 과잉 경보 줄이기

한태숙researcher; 김철주; 김성건; 윤정한한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.37, no.8, pp.647 - 652, 2010-08

11

자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지

김신형; 한태숙researcher한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.37, no.5, pp.394 - 402, 2010-05

12

자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지

김신형; 한태숙researcher한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.37, no.5, pp.394 - 402, 2010-05

13

Over-Approximated Control Flow Graph Construction on Pure Esterel

Choe, Kwang-Mooresearcher; Yun, Jeong-Han; Kim, Seonggun; Han, Taisookresearcher; Kim, Chul-JooIEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENGIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.985 - 993, 2010-05

14

하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법

한태숙researcher; 이재호; 윤정한한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.323 - 339, 2010-04

15

하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법

이재호; 한태숙researcher; 윤정한한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.323 - 339, 2010-04

16

소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 대상의 필터링

박희완; 한태숙researcher한국정보과학회정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.4, pp.497 - 501, 2010-04

17

제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제

김철주; 한태숙researcher; 윤정한; 김성건; 최광무researcher한국정보과학회정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.311 - 316, 2010-04

18

스타일을 설정할 수 있는 웹 기반 문서 편집 환경

최석우; 윤정한; 한태숙researcher; 황준형한국정보과학회프로그래밍언어논문지, v.23, no.1, pp.29 - 36, 2009-12

19

제어 흐름 그래프 매칭 기반 자바 버스마크

박희완; 한태숙researcher; 최석우; 임현일한국정보과학회정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.871 - 875, 2009-11

20

Esterel에서 근사-제어흐름그래프의 효율적인 생성

한태숙researcher; 윤정한; 김철주; 서선애; 최광무researcher한국정보과학회정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11

Load more items
Loading...

rss_1.0 rss_2.0 atom_1.0