Mingi Cho

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Constraint Solving

Top Venues

USENIX Security Symposium

Publications

Mingi Cho, Jaepil Ban, Minseok Seo, Sang Woo Kim
Neural network MPC for heating section of annealing furnace. Expert Syst. Appl. 223 (2023)
Mingi Cho, Dohyeon An, Hoyong Jin, Taekyoung Kwon
BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing. USENIX Security Symposium (2023)
Mingi Cho, Hoyong Jin, Dohyeon An, Taekyoung Kwon
Evaluating Code Coverage for Kernel Fuzzers via Function Call Graph. IEEE Access 9 (2021)
Mingi Cho, Jaedong Jang, Yezee Seo, Seyeon Jeong, Soochang Chung, Taekyoung Kwon
Towards bidirectional LUT-level detection of hardware Trojans. Comput. Secur. 104 (2021)
Eunbi Hwang, Hyunseok Lee, Seyeon Jeong, Mingi Cho, Taekyoung Kwon
Toward Fast and Scalable Firmware Fuzzing With Dual-Level Peripheral Modeling. IEEE Access 9 (2021)
Minseok Seo, Jaepil Ban, Mingi Cho, Bae Young Koo, Sang Woo Kim
Low-Order Model Identification and Adaptive Observer-Based Predictive Control for Strip Temperature of Heating Section in Annealing Furnace. IEEE Access 9 (2021)
Mingi Cho, Seoyoung Kim, Taekyoung Kwon
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing. CCS (2019)
Seoyoung Kim, Seyeon Jeong, Mingi Cho, Soochang Chung, Taekyoung Kwon
Poster: Evaluating Code Coverage for System Call Fuzzers. CCS (2019)
Junghwan Yoon, Yezee Seo, Jaedong Jang, Mingi Cho, JinGoog Kim, HyeonSook Kim, Taekyoung Kwon
A Bitstream Reverse Engineering Tool for FPGA Hardware Trojan Detection. CCS (2018)