2024 BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation Younggi Park, Hwiwon Lee, Jinho Jung, Hyungjoon Koo, and Huy Kang Kim In 2024 IEEE Symposium on Security and Privacy (SP), 2024 Distinguished Paper PDF Code Recognized as <1% of total 1,463 submissions 2020 PhantomFS-v2: Dare you to avoid this trap Jione Choi, Hwiwon Lee, Younggi Park, Huy Kang Kim, Junghee Lee, Youngjae Kim, Gyuho Lee, Shin-Woo Shim, and Taekyu Kim IEEE Access, 2020 PDF