본문 바로가기

한태숙 (Taisook Han)

소속기관
한국과학기술원
소속부서
전산학부
직급
-
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 컴퓨터학 TOP 10%

저자의 연구 키워드

저자가 작성한 논문들의 주요 키워드입니다.

저자의 연구 키워드
#가상 머신 기반 난독화
#가상화 기법
#가상화를 이용한 난독화
#그래프 매칭
#기밀성
#난독화
#난독화 해제
#동기 언어
#동기식 언어
#동기식언어
#동기장치
#동기회로
#동적 분석
#동적 프로그램 분석
#디지털 포렌식
#모델 체킹
#모형
#바이너리 분석
#반응형 시스템
#보안
#복사방지
#복제 탐지
#소프트웨어 도용 탐지
#소프트웨어 몽타주
#소프트웨어 버스마크
#소프트웨어 보안
#소프트웨어 포렌식
#스크립트 언어 응용 프로그램
#시뮬레이션
#악성코드
#악성코드 분석
#에스테렐
#오토마타
#오픈 플랫폼
#유사 소프트웨어 필터링
#인터페이스 검증
#인터페이스 자동 생성
#임베디드 시스템
#자바 바이트코드
#자바스크립트
#자원공유
#제약조건
#제어 흐름 재건
#제어흐름 그래프
#제어흐름그래프
#테스트 데이터 생성
#테스팅
#프로그램 종속성 그래프
#하드웨어 암호화
#하드웨어/소프트웨어 동시검증
#환경 속성
#회로
#회로 중복사용
#Automata
#binary analysis
#circuit
#Clone Detection
#confidentiality
#Constraint
#Control Flow Graph
#control flow reconstruction
#Copy Protection
#deobfuscation
#Digital Forensics
#dynamic analysis
#Embedded System
#Environment Property
#Esterel
#Graph Matching
#Hardware/Software Co-verification
#HW Cryptography
#Interface generation
#Interface verification
#Java Bytecode
#JavaScript
#malware
#Malware Analysis
#Model
#model checking
#Obfuscation
#Open Platform
#Program Dependency Graph
#reactive system
#resource sharing
#schizophrenia
#Script Language Application
#Security
#Similar Software Filtering
#Simulation
#Software Birthmark
#Software Forensics
#Software Montage
#Software Plagiarism Detection
#Software Security
#synchronizer
#synchronous circuit
#synchronous language
#test data generation
#Testing
#Virtualization
#virtualization obfuscation
#virtualization-obfuscation

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수72
  • 발행기간1979 ~ 2015
  • 이용수4,502
  • 피인용수3

논문제목를 인용한 논문목록입니다.

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
데이터베이스를 이용한 난독화된 바이너리의 트레이스 분석 한국정보과학회 학술발표논문집 2015 36 0
가상화를 이용하여 난독화된 바이너리의 제어 흐름 재건 정보과학회논문지 2015 142 0
가상 머신 기반으로 난독화된 실행파일의 구조 및 원본의미 추출 동적 방법 정보과학회논문지 2014 156 0
[우수논문] 가상화를 이용하여 난독화된 바이너리의 제어 흐름 재건 한국정보과학회 학술발표논문집 2014 75 0
가상화 기법으로 난독화된 실행 파일의 동적 분석을 통한 핸들러 간략화 한국정보과학회 학술발표논문집 2014 37 0
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법 정보과학회논문지 : 소프트웨어 및 응용 2013 357 0
반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세 정보과학회논문지 : 소프트웨어 및 응용 2012 75 0
하드웨어 암호화 함수를 이용한 스크립트 응용 프로그램의 보안성 향상 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2012 87 0
Fortress 언어를 이용한 DPLL 알고리듬의 구현 한국정보과학회 학술발표논문집 2011 70 0
Esterel 문법구조 바탕의 오토마타 생성 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2010 80 0
Esterel에서 동기장치 중복사용 문제 검출시 과잉 경보 줄이기 정보과학회논문지 : 소프트웨어 및 응용 2010 73 0
Esterel 문법구조 바탕의 오토마타 생성 한국정보과학회 학술발표논문집 2010 46 0
자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지 정보과학회논문지 : 소프트웨어 및 응용 2010 166 0
소프트웨어 몽타주 : 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 대상의 필터링 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2010 320 1
하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법 정보과학회논문지 : 소프트웨어 및 응용 2010 237 0
제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제 정보과학회논문지 : 소프트웨어 및 응용 2010 80 0
제어 흐름 그래프 매칭 기반 자바 버스마크 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2009 144 0
소프트웨어 몽타주 한국정보과학회 학술발표논문집 2009 123 0
Esterel에서 근사-제어흐름그래프의 효율적인 생성 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2009 84 2
에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 정보과학회논문지 : 소프트웨어 및 응용 2009 102 0
더보기