초록 ▼

□ 연구개요
본 연구는 응용 특화 시스템의 개발 및 활용 등 전 단계에 걸쳐 하드웨어 및 소프트웨어 취약점을 사전 탐지하고, 이에 대응할 수 있도록 해주는 기반 기술을 개발하는 것을 목표로 하였다. 세부 기술로, 취약점 탐지 용이성 향상을 위한 프로세서 명령어 의미 생성기, 하드웨어 구현으로부터의 타이밍 취약점 자동 검출기, 단말단의 응용특화시스템을 위한 신뢰실행환경 제공 기법 등을 연구하였다.

□ 연구 목표대비 연구결과
- 프로세서 명령어 의미 생성기
응용 특화 프로세서 심볼릭 실행기 자동 생성을 위한

□ 연구개요
본 연구는 응용 특화 시스템의 개발 및 활용 등 전 단계에 걸쳐 하드웨어 및 소프트웨어 취약점을 사전 탐지하고, 이에 대응할 수 있도록 해주는 기반 기술을 개발하는 것을 목표로 하였다. 세부 기술로, 취약점 탐지 용이성 향상을 위한 프로세서 명령어 의미 생성기, 하드웨어 구현으로부터의 타이밍 취약점 자동 검출기, 단말단의 응용특화시스템을 위한 신뢰실행환경 제공 기법 등을 연구하였다.

□ 연구 목표대비 연구결과
- 프로세서 명령어 의미 생성기
응용 특화 프로세서 심볼릭 실행기 자동 생성을 위한 명령어 의미 자동 추출기를 개발하였다. 기술 적용 예시로 간단한 RISC-V기반의 프로세서를 활용하였으며, 이들이 흔히 Chisel HDL로 작성된다는 점을 고려하여 Chisel HDL 기반 개발 흐름에서 활용되는 중간 언어인 FIRRTL로 표현된 프로세서를 입력으로 받도록 하였으며, 출력물로 명령어셋 (ISA)의 의미를 기술하는데에 특화된 Sail 언어로 작성된 명령어 의미들을 생성하였다.

- 타이밍 취약점 자동 검출기
SoC를 구성하는 주변기기 (peripheral)가 가질 수 있는 타이밍 부채널 취약점을 자동으로 검출할 수 있는 기법을 개발하였다. 개발된 기법은 하드웨어 IP개발에 가장 널리 활용되고 있는 Verilog로 작성된 하드웨어 모듈 및 인터페이스 관한 정보를 입력으로 받아, 해당 모듈이 가질 수 있는 타이밍 부채널 및 그 제거 방법을 자동으로 도출해준다.

- 응용특화시스템용 신뢰실행환경
응용특화 시스템 취약점 대응의 한 가지 기법으로, 단말단에서의 원격신뢰실행 사용 예시들을 도출하고 이들을 잘 지원할 수 있는 신뢰실행기법을 연구 및 개발하였다.

□ 연구개발성과의 활용 계획 및 기대효과 (연구개발결과의 중요성)
- 프로세서 명령어 의미 생성기
> 응용특화 시스템용 소프트웨어 취약점 탐지에 활용.
> 프로세서 구현과 명령어 의미의 동일성 검증에 활용 가능.
> 프로세서 구현 자동 생성기의 모듈로 활용 가능.

- 타이밍 취약점 자동 검출기
> Verilog로 작성된 주변장치 IP의 타이밍 취약점 조기 탐지에 활용.
> 전체 SoC 및 메인 프로세서의 취약점 탐지 기술로 확장.
> 타이밍 취약점 PoC 공격 생성에 활용.

- 응용특화시스템용 신뢰실행환경
> 고보안이 요구되는 클라우드 서비스에 활용.
> 클라우드 기반 시스템의 성능 극대화를 위한 에지 컴퓨팅에 활용 가능.
> 유사 기술을 서버상 응용특화 장치에도 활용 가능.

(출처 : 연구결과 요약문 3p)

목차 Contents

• 표지 ... 1
• 연구결과 요약문 ... 3
• 목차 ... 4
• 1. 연구개발과제의 개요 ... 5
• 2. 연구개발과제의 수행 과정 및 수행 내용 ... 6
• 가. 프로세서 명령어 의미 자동 생성기 개발 ... 6
• 나. 하드웨어 타이밍 부채널 자동 검출기 개발 ... 9
• 다. 응용특화 시스템을 위한 신뢰실행환경 기술 개발 ... 10
• 3. 연구개발과제의 수행 결과 및 목표 달성 수준 ... 12
• 1) 정성적 연구개발성과(연구개발결과) ... 12
• 2) 세부 정량적 연구개발성과 ... 13
• 3) 목표 달성 수준 ... 13
• 4) 목표 미달 시 원인 분석 ... 14
• 4. 연구개발성과의 관련 분야에 대한 기여 정도(연구개발결과의 중요성) ... 15
• 5. 연구개발성과의 관리 및 활용 계획 ... 15
• 6. 참고문헌 ... 16
• [붙임1] 세부 정량적 연구개발성과 ... 17
• [붙임2] 연구책임자 대표적 연구실적 및 증빙(요약문 및 사본) ... 18
• 끝페이지 ... 21