▲ 컴퓨터공학과 최재승교수

본교 컴퓨터공학과 최재승 교수가 참여한 논문 "DAFL: Directed Grey-box Fuzzing Guided by Data Dependency"이 USENIX Security Symposium 2023에 발표된다. USENIX Security Symposium은 정보보안 분야 4대 컨퍼런스(S&P, CCS, USENIX, NDSS) 중 하나로서, 정보과학회 우수학술대회 목록에 최우수 등급으로, BK21 우수학술대회 목록에 환산 IF=3으로 등재되어 있다. 해당 연구는 카이스트의 김태은 학생, 허기홍 교수, 차상길 교수와의 협업으로 이루어졌다.

본 논문에서는 지향성 퍼징 (directed fuzzing) 기술을 개선하는 방법을 연구하였다. 지향성 퍼징이란 프로그램의 어떤 목표 지점이 주어졌을 때 해당 지점을 집중적으로 테스트하여 취약점을 검출하는 기술이다. 이 기술을 실현하기 위한 핵심 관건은, 어떤 테스트 케이스가 목표 지점의 취약점을 트리거하는 데에 얼마나 근접하고 있는지 정확하게 판단하는 것이다. 기존의 지향성 퍼징 연구는 프로그램의 실행 흐름 그래프(Control-flow graph)에 주로 의존하여 이러한  판단을 내리기 때문에, 목표 지점의 버그와의 연관성을 제대로 파악하지 못하는 경우가 있었다. 본 연구에서는 데이터 의존성(data dependency) 분석을 활용하여 이러한 문제를 극복하고, 보다 효과적인 지향성 퍼징이 이뤄지도록 개선한다.

한편, USENIX Security Symposium은 8월 9일 ~ 8월 11일 사이에 미국 애너하임에서 개최되며, 프로그램 정보는 https://www.usenix.org/conference/usenixsecurity23/technical-sessions 에서 확인 가능하다.