Researcher Page

사진

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

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

Keyword Cloud

Reload 더보기
1

A tiny hypervisor-based trusted geolocation framework with minimized TPM operations

Park, Sungjin; Won, Jong-Jin; Yoon, Jaenam; et al, JOURNAL OF SYSTEMS AND SOFTWARE, v.122, pp.202 - 214, 2016-12

2

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

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

3

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

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

4

Detection of Harmful Schizophrenic Statements in Esterel

Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; et al, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03

5

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

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

6

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

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

7

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

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

8

Analyzing Stack Flows to Compare Java Programs

Lim, HI; Han, Taisookresearcher, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E95D, no.2, pp.565 - 576, 2012-02

9

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

Park, Heewan; Lim, Hyun-Il; Choi, Seokwoo; et al, COMPUTER JOURNAL, v.54, no.1, pp.108 - 124, 2011-01

10

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

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

11

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

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

12

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

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

13

Over-Approximated Control Flow Graph Construction on Pure Esterel

Kim, Chul-Joo; Yun, Jeong-Han; Kim, Seonggun; et al, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.985 - 993, 2010-05

14

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

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

15

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

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

16

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

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

17

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

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

18

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

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

19

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

황준형; 윤정한; 최석우; et al, 프로그래밍언어논문지, v.23, no.1, pp.29 - 36, 2009-12

20

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

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

Load more items
Loading...

rss_1.0 rss_2.0 atom_1.0