Directions
Home > Research > Research Labs
Software Security (SoftSec) Lab conducts research at the boundary of computer security and program analysis. We develop systems and techniques dealing with binary code for assuring software security. Our research interests include a variety of research areas in software security including automatic reverse engineering, exploit verification, malware analysis, fuzzing, and symbolic execution.
KAIST School of Computing 291 Daehak-ro, Yuseong-gu, Daejeon, Korea 34141
ⓒ KAIST School of Computing. All Rights Reserved.