저자의 연구 키워드

저자의 연구 키워드

#가상 머신 기반 난독화

#가상화 기법

#가상화를 이용한 난독화

#그래프 매칭

#기밀성

#난독화

#난독화 해제

#데이터 마이닝

#동기 언어

#동기식 언어

#동기식언어

#동적 분석

#동적 프로그램 분석

#디지털 포렌식

#모델 체킹

#바이너리 분석

#반응형 시스템

#보안

#복사방지

#복제 탐지

#소프트웨어 도용 탐지

#소프트웨어 몽타주

#소프트웨어 버스마크

#소프트웨어 보안

#소프트웨어 포렌식

#스크립트 언어 응용 프로그램

#악성코드

#악성코드 분석

#에스테렐

#역공학

#오토마타

#오픈 플랫폼

#유사 소프트웨어 필터링

#이진 코드 분석

#인터페이스 검증

#인터페이스 자동 생성

#임베디드 시스템

#자바 바이트코드

#자바스크립트

#정적 분석

#제어 흐름 재건

#제어흐름 그래프

#제어흐름그래프

#코드 도용

#코드 도용 탐지

#테스트 데이터 생성

#프로그램 종속성 그래프

#프로그램 차이점 분석

#하드웨어 암호화

#하드웨어/소프트웨어 동시검증

#회로

#회로 중복사용

#Automata

#binary analysis

#binary code analysis

#circuit

#Clone Detection

#Code Theft

#code theft detection

#confidentiality

#Control Flow Graph

#control flow reconstruction

#Copy Protection

#data mining

#deobfuscation

#Digital Forensics

#Dynamic Analysis

#dynamic program analysis

#Embedded System

#Esterel

#Graph Matching

#Hardware/Software Co-verification

#HW Cryptography

#Interface generation

#Interface verification

#Java Bytecode

#JavaScript

#malware

#Malware Analysis

#model checking

#Obfuscation

#Open Platform

#Program Dependency Graph

#program difference analysis

#reactive system

#reverse engineering

#schizophrenia

#Script Language Application

#Security

#Similar Software Filtering

#Software Birthmark

#Software Forensics

#Software Montage

#Software Plagiarism Detection

#Software Security

#Static Analysis

#synchronous language

#test data generation

#Virtualization

#virtualization obfuscation

#virtualization-obfuscation