Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. - Qi Wang 017; Meixian Chen; Yu Liu; Zhenjiang Hu (FHPC@ICFP, 2013)

Extracting URLs from JavaScript via program analysis. - Qi Wang 017; Jingyu Zhou; Yuting Chen 001; Yizhou Zhang; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2013)

Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations. - Karan Ganju; Qi Wang 017; Wei Yang 013; Carl A. Gunter; Nikita Borisov (CCS, 2018)

Cross-App Poisoning in Software-Defined Networking. - Benjamin E. Ujcich; Samuel Jero; Anne Edmundson; Qi Wang 017; Richard Skowyra; James Landry; Adam Bates 001; William H. Sanders; Cristina Nita-Rotaru; Hamed Okhravi (CCS, 2018)

ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. - Si Liu 003; Peter Csaba Ölveczky; Keshav Santhanam; Qi Wang 017; Indranil Gupta; José Meseguer 001 (FASE, 2018)

Fear and Logging in the Internet of Things. - Qi Wang 017; Wajih Ul Hassan; Adam Bates 001; Carl A. Gunter (NDSS, 2018)

Formal Modeling and Analysis of the Walter Transactional Data Store. - Si Liu 003; Peter Csaba Ölveczky; Qi Wang 017; José Meseguer 001 (WRLA@ETAPS, 2018)

Charting the Attack Surface of Trigger-Action IoT Platforms. - Qi Wang 017; Pubali Datta; Wei Yang 013; Si Liu 003; Adam Bates 001; Carl A. Gunter (CCS, 2019)

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. - Si Liu 003; Peter Csaba Ölveczky; Min Zhang 002; Qi Wang 017; José Meseguer 001 (TACAS (2), 2019)

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. - Si Liu 003; Peter Csaba Ölveczky; Qi Wang 017; Indranil Gupta; José Meseguer 001 (Formal Aspects Comput., 2019)

You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis. - Qi Wang 017; Wajih Ul Hassan; Ding Li 001; Kangkook Jee; Xiao Yu 007; Kexuan Zou; Junghwan Rhee; Zhengzhang Chen; Wei Cheng 002; Carl A. Gunter; Haifeng Chen (NDSS, 2020)

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. - Si Liu 003; Atul Sandur; José Meseguer 001; Peter Csaba Ölveczky; Qi Wang 017 (NFM, 2020)

Securing emerging IoT systems through systematic analysis and design - Qi Wang 017 (2020)

Detecting AI Trojans Using Meta Neural Analysis. - Xiaojun Xu; Qi Wang 017; Huichen Li; Nikita Borisov; Carl A. Gunter; Bo Li 026 (SP, 2021)

Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data. - Guangjing Wang 001; Nikolay Ivanov; Bocheng Chen; Qi Wang 017; ThanhVu Nguyen; Qiben Yan (Proc. ACM Manag. Data, 2023)

ProvIoT : Detecting Stealthy Attacks in IoT through Federated Edge-Cloud Security. - Kunal Mukherjee; Joshua Wiedemeier; Qi Wang 017; Junpei Kamimura; Junghwan John Rhee; James Wei; Zhichun Li; Xiao Yu 007; Lu-An Tang; Jiaping Gui; Kangkook Jee (ACNS (3), 2024)