Modelling Analysis and Auto-detection of Cryptographic Misuse in Android Applications. - Shuai Shao; Guowei Dong; Tao Guo 001; Tianchang Yang; Chenjie Shi (DASC, 2014)

Clone analysis and detection in android applications. - Haofei Niu; Tianchang Yang; Shaozhang Niu (ICSAI, 2016)

Formal Analysis of Access Control Mechanism of 5G Core Network. - Mujtahid Akon; Tianchang Yang; Yilu Dong; Syed Rafiul Hussain (CCS, 2023)

ORANalyst: Systematic Testing Framework for Open RAN Implementations. - Tianchang Yang; Syed Md. Mukit Rashid; Ali Ranjbar; Gang Tan; Syed Rafiul Hussain (USENIX Security Symposium, 2024)

Stateful Analysis and Fuzzing of Commercial Baseband Firmware. - Ali Ranjbar; Tianchang Yang; Kai Tu; Saaman Khalilollahi; Syed Rafiul Hussain (SP, 2025)