Complexity verification using guided theorem enumeration. - Akhilesh Srikanth; Burak Sahin; William R. Harris (POPL, 2017)

Identifying Behavior Dispatchers for Malware Analysis. - Kyuhong Park; Burak Sahin; Yongheng Chen; Jisheng Zhao; Evan Downing; Hong Hu 004; Wenke Lee (AsiaCCS, 2021)

Multilingual Elementary School Students' Computer Science and STEM Learning through Robotics. - Ezgi Yesilyurt; Refika Turgut; Erdogan Kaya; Burak Sahin; Elif Adibelli Sahin; Hasan Deniz (ICER (2), 2023)

Dissecting the Industrial Control Systems Software Supply Chain. - Constantine Doumanidis; Yongyu Xie; Prashant Hari Narayan Rajput; Ryan Pickren; Burak Sahin; Saman A. Zonouz; Michail Maniatakos (IEEE Secur. Priv., 2023)

Was This You? Investigating the Design Considerations for Suspicious Login Notifications. - Sena Sahin; Burak Sahin; Frank Li 001 (NDSS, 2025)