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, Programming Environment

Keyword Cloud

Reload 더보기
1

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

Park, Sungjin; Won, Jong-Jin; Yoon, Jaenam; Kim, Kyong Hoon; Han, Tai-SookresearcherELSEVIER SCIENCE INCJOURNAL 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; Choe, Kwang-Mooresearcher; Han, Tai-SookresearcherASSOC COMPUTING MACHINERYACM 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, TaisookresearcherIEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENGIEICE 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; Han, TaisookresearcherOXFORD UNIV PRESSCOMPUTER JOURNAL, v.54, no.1, pp.108 - 124, 2011-01

10

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

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

11

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

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

12

Over-Approximated Control Flow Graph Construction on Pure Esterel

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

13

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

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

14

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

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

15

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

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

16

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

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

17

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

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

18

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

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

19

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

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

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