I received my PhD degree in Computer Science from UIUC, advised by Professor Carl
A. Gunter. Before that, I received my B.S. degree and M.S. degree from Shanghai
Jiao Tong Univerisity. My main research interests span the
broad area of cybersecurity, with a focus on Internet of Things
(IoT) security, machine learning (ML) security, and system
security. I also have broad research interests in distributed systems, software engineering and formal
methods.
Publications
Graph Learning for Interaction Analysis in Smart Home Rule Data Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan In ACM SIGMOD/PODS International Conference on Management of Data (SIGMOD). 2023.
Detecting AI Trojans Using Meta Neural Analysis Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A Gunter, Bo Li In 42nd IEEE Symposium on Security and Privacy (S&P). 2021.
You Are What You Do: Hunting
Stealthy Malware via Data Provenance Analysis Qi Wang, Wajih Ul Hassan, Ding
Li, Kangkook Jee, Xiao Yu, Kexuan Zou, Junghwan Rhee, Zhengzhang
Chen, Wei Cheng, Carl A. Gunter, Haifeng Chen In ISOC Network and Distributed
System Security Symposium (NDSS). February 2020.
Charting the Attack Surface of
Trigger-Action IoT Platforms Qi
Wang, Pubali Datta, Wei Yang, Si Liu, Carl Gunter, Adam Bates In 26th ACM Conference on
Computer and Communications Security (CCS). November 2019.
Property Inference Attacks on
Fully Connected Neural Networks using Permutation Invariant
Representations Qi
Wang*, Karan Ganju*, Wei Yang, Carl Gunter, Nikita Borisov (*
Equal contribution) In
25th ACM Conference on Computer and Communications Security (CCS). October 2018.
Cross-App Poisoning in
Software-Defined Networking Benjamin
Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard
Skowyra, James Landry, Adam Bates, William Sanders, Cristina
Nita-Rotaru, Hamed Okhravi
In 25th ACM
Conference on Computer and Communications Security (CCS). October 2018.
Fear and Logging in the Internet
of Things Qi
Wang, Wajih Ul Hassan, Adam Bates, Carl Gunter In ISOC Network and Distributed
System Security Symposium (NDSS). San Diego, CA, February 2018.
Generating Correct-by-Construction
Distributed Implementations from Formal Maude Designs Si Liu, Atul Sandur, Jose Meseguer,
Peter Olveczky, Qi Wang In 12th NASA Formal
Methods Symposium (NFM). San Diego, CA, February 2020.
Read Atomic Transactions with
Prevention of Lost Updates: ROLA and its Formal Analysis Si Liu, Peter Csaba Olveczky, Qi
Wang, Indranil Gupta, Jose Meseguer
In Formal Aspects
of Computing (FAC). 2019.
Automatic Analysis of Consistency
Properties of Distributed Transaction Systems in Maude Si Liu, Peter Csaba Olveczky, Min
Zhang, Qi Wang, Jose Meseguer
In International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems (TACAS). 2019.
ROLA: A New Distributed
Transaction Protocol and Its Formal Analysis Si Liu, Peter Olveczky, Keshav
Santhanam, Qi Wang, Indranil Gupta, Jose Meseguer
In 21st
International Conference on Fundamental Approaches to Software
Engineering (FASE). April 2018.
Formal Modeling and Analysis of
the Walter Transactional Data Store Si Liu, Peter Csaba Olveczky, Qi
Wang, Jose Meseguer
In 12th
International Workshop on Rewriting Logic and its Applications
(WRLA). April 2018.
Extracting URLs from JavaScript
via Program Analysis Qi
Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao In 9th Joint Meeting of the
European Software Engineering Conference and the ACM SIGSOFT
Symposium on the Foundations of Software Engineering (ESEC/FSE). August 2013.
Towards Systematic Parallel
Programming of Graph Problems via Tree Decomposition and Tree
Parallelism Qi
Wang, Meixian Chen, Yu Liu, Zhenjiang Hu 2nd ACM SIGPLANWorkshop on
Functional High-Performance Computing (FHPC). September 2013.