How to Settle the ReDoS Problem: Back to the Classical Automata Theory. - Sicheol Sung; Hyunjoon Cheon; Yo-Sub Han (CIAA, 2022)

Smaller Representation of Compiled Regular Expressions. - Sicheol Sung; Sang-Ki Ko; Yo-Sub Han (CIAA, 2023)

Benchmarking Regular Expression Matching. - Alexander Roodt; Brendan Keith Mark Watling; Willem Bester; Brink van der Merwe; Sicheol Sung; Yo-Sub Han (CIAA, 2024)

A Framework for Quantum Finite-State Languages with Density Mapping. - Seung-Yeop Baik; Sicheol Sung; Yo-Sub Han (CoRR, 2024)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming. - Sicheol Sung; Aditi; Dogyu kim; Yo-Sub Han; Sang-Ki Ko (CoRR, 2025)

TRAPDOC: Deceiving LLM Users by Injecting Imperceptible Phantom Tokens into Documents. - Hyundong Jin; Sicheol Sung; Shinwoo Park; Seung-Yeop Baik; Yo-Sub Han (CoRR, 2025)

SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs. - Aditi; Hyunwoo Park; Sicheol Sung; Yo-Sub Han; Sang-Ki Ko (CoRR, 2025)