○ 정보보호대학원 소속 소순범 교수팀 논문이 2026년 7월 5일-9일에 캐나다 몬트리올에서 개최되는 FSE 2026 발표 논문으로 선정됨. 이번에 선정된 논문은 현재 소순범 교수팀에서 연구 인턴 활동 중이며, 2026년 3월 정보보호대학원 석사과정 입학 예정인 송혜근, 한지성 학생과 함께 수행되었음
- 논문제목: SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning
- 저자 정보: 송혜근 (제 1저자), 한지성, 소순범 (교신저자)
- 학회 홈페이지: https://conf.researchr.org/track/fse-2026/fse-2026-research-papers
○ FSE(ACM International Conference on the Foundations of Software Engineering)는 ICSE, ASE와 더불어 소프트웨어 공학 분야 세계 최고 권위의 학술대회로 널리 인정받고 있으며, 국내에서도 BK21 최우수 국제학술대회 (인정 IF 최고 등급인 4)로 지정되어 있음
○ FSE 2026에는 총 920편의 논문이 제출되었으며, 이 중 87편(약 9.5%)만이 major revision 없이 즉시 게재 수락을 받았음. 본 논문 역시 해당 87편에 포함되어, 치열한 경쟁을 뚫고 발표 논문으로 선정되었다는 점에서 의의가 큼
○ 기호 실행(symbolic execution)은 소프트웨어 취약점 분석을 위한 대표적인 테스팅 기법이지만, 경로 폭발(path explosion) 문제로 인해 분석 효율성에 한계가 있음. 본 연구는 현재 분석 중인 경로 A가 기존에 분석된 경로 B에 의미적으로 포섭(subsumption) 되는 경우, 경로 A에 대한 탐색을 중지하는 새로운 기호 실행 탐색 가지치기(pruning) 기법을 제안하였음. 또한, 해당 기법이 취약점 검출력을 훼손하지 않으면서도 기호 실행의 분석 속도를 향상시킬 수 있음을 이론적으로 엄밀히 증명하였음. 제안한 기법의 효과성은 최신 스마트 컨트랙트 취약점 분석기 11개와의 비교 실험을 통해 검증되었으며, 기존 기법 대비 우수한 취약점 검출 성능을 보임으로써 그 실용성을 입증하였음
○ 논문 초록: We present SmarTrim, a new symbolic execution technique for detecting vulnerabilities in smart contracts. Smart contracts require rigorous safety validation since flaws in them can cause significant financial loss. Numerous symbolic execution techniques -which generate vulnerable transaction sequences to trigger and help understand vulnerabilities- have been extensively studied to enhance the security and safety of smart contracts. However, their performance remains unsatisfactory due to the extremely large search space for transaction sequences. To mitigate this issue, SmarTrim introduces a novel technique that safely reduces the search space by detecting and pruning redundant transaction sequences. Experimental results show that SmarTrim greatly outperforms eleven state-of-the-art analyzers in detecting critical vulnerabilities in real-world smart contracts
