과제 상세정보
목록역공학을 위한 자동 제어흐름 복원 기술 개발
작성자
관리자
조회수
62
등록일
2024-05-21
사업 정보
| 내역사업 | 생애 첫 연구 |
|---|
과제 기본정보
| 과제명 | 역공학을 위한 자동 제어흐름 복원 기술 개발 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711121146 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 신규과제 | ||||
| 과제수행연도 | 2020 | 총연구기간 | 2020-09-01 ~ 2022-02-28 | 당해연도 연구기간 | 2020-09-01 ~ 2021-08-31 |
요약 정보
| 연구목표 | 바이너리 분석(또는 역공학)에서의 가장 중요한 첫 단계는 바이너리 코드를 사람이 읽을 수 있는 어셈블리어 형태로 바꾸는 역어셈블(Disassemble)과정이며, 이를 위해서는 바이너리의 제어 흐름(control flow)을 복원하는 것이 필수적이다. 하지만 제어흐름 복원 분야에서는 여전히 하나의 체계화된 방법론이 존재하지 않으며, 연구 평가를 위한 토대자료... | ||
|---|---|---|---|
| 연구내용 | 1. 토대자료(ground truth) 자동 생성 기술제안하는 기술의 핵심은 컴파일러가 생성하는 중간 결과물인 어셈블리코드를 활용하여 토대자료를 생성하는 것이다. 어셈블리 코드에는 바이너리 코드 생성에 필요한 라벨 정보와 소스코드와의 연관성을 알려주는 디버깅 정보들이 함께 포함되는데, 이를 바탕으로 바이너리 코드와 소스코드의 상관 관계를 자동으로 추론할 수... | ||
| 기대효과 | CFG 복원 알고리즘은 바이너리 재작성(rewriting)과 정적 계측 (static instrumentation)에 있어 필수적이다. 재작성과 정적 계측은 소프트웨어 디버깅과 최적화 연구 분야에서 활용되는 핵심 기술이다. 또한 많은 바이너리 기반 방어 기법에도 필수적으로 활용되는데, 예를 들어 바이너리 강화(hardening) 분야에서는 CFG복원이 정확... | ||
| 키워드 | 바이너리코드,제어흐름복원,역공학,데이터흐름분석,소프트웨어보안 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 인공물 > 정보/통신 > 정보보호 > 서비스/응용보안 |
| 주력산업분류 | 적용분야 | 사회질서 및 안전 | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 30,000,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||