Spinner: Automated Dynamic Command Subsystem Perturbation. - Meng Wang; Chijung Jung; Ali Ahad; Yonghwi Kwon 001 (CCS, 2021)

Swarmbug: debugging configuration bugs in swarm robotics. - Chijung Jung; Ali Ahad; Jinho Jung 001; Sebastian G. Elbaum; Yonghwi Kwon 001 (ESEC/SIGSOFT FSE, 2021)

Forensic Analysis of Configuration-based Attacks. - Muhammad Adil Inam; Wajih Ul Hassan; Ali Ahad; Adam Bates 001; Rashid Tahir; Tianyin Xu; Fareed Zaffar (NDSS, 2022)

SWARMFLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms. - Chijung Jung; Ali Ahad; Yuseok Jeon; Yonghwi Kwon 001 (SP, 2022)

FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation. - Ali Ahad; Gang Wang 011; Chung Hwan Kim; Suman Jana; Zhiqiang Lin 001; Yonghwi Kwon 001 (ASPLOS (4), 2023)

Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation. - Ali Ahad; Chijung Jung; Ammar Askar; Doowon Kim; Taesoo Kim; Yonghwi Kwon 001 (SP, 2023)