Before 2024
ACon²: Adaptive Conformal Consensus for Provable Blockchain Oracles
Sangdon Park, Osbert Bastani, Taesoo Kim
Security 2023: In proceedings of the 32nd USENIX Security Symposium
RoboFuzz: Fuzzing Robotic Systems over Robot Operating System (ROS) for Finding Correctness Bugs
Seulbae Kim, Taesoo Kim
ESEC/FSE 2022: In proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing
Seulbae Kim, Major Liu, Junghwan Rhee, Yuseok Jeon, Yonghwi Kwon, Chung Hwan Kim
CCS 2022: In proceedings of the 29th ACM Conference on Computer and Communications Security
Riding the IoT Wave with VFuzz: Discovering Security Flaws in Smart Home
Carlos Nkuba, Seulbae Kim, Sven Dietrich, Heejo Lee
IEEE Access, Vol. 10
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
ICSE 2021: In proceedings of the 43rd International Conference on Software Engineering
Finding Bugs in File Systems with an Extensible Fuzzing Framework
Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim
ACM Transactions on Storage, Vol. 16, No. 2, Article 10
Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework
Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim
SOSP 2019: In proceedings of the 27th ACM Symposium on Operating Systems Principles
Software systems at risk: An empirical study of cloned vulnerabilities in practice
Seulbae Kim, Taesoo Kim
Computers & Security, Vol. 77
VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery
Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh
S&P 2017: In proceedings of the 38th IEEE Symposium on Security and Privacy