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

paper    slides    code

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

paper    slides    code

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

paper    slides    code

Riding the IoT Wave with VFuzz: Discovering Security Flaws in Smart Home

Carlos Nkuba, Seulbae Kim, Sven Dietrich, Heejo Lee

IEEE Access, Vol. 10

paper    code

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

paper    slides    code

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

paper   

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

paper    slides    code

Software systems at risk: An empirical study of cloned vulnerabilities in practice

Seulbae Kim, Taesoo Kim

Computers & Security, Vol. 77

paper   

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

paper    slides    code

SIGMATA: Storage Integrity Guaranteeing Mechanism against Tampering Attempts for Video Event Data Recorders

Hyuckmin Kwon, Seulbae Kim, Heejo Lee

IMCIC 2016: In proceedings of the 7th International Multi-conference on Complexity, Informatics, and Cybernatics

paper    slides