Qi Wang


 

PhD Candidate
Department of Computer Science
University of Illinois Urbana-Champaign

Email: qiwang11@illinois.edu

I am a PhD candidate in the computer science department at UIUC, advised by Professor Carl A. Gunter. 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.
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.
Research Intern NEC Labs America 2019.5 - 2019.8
Research Intern NEC Labs America 2018.5 - 2018.8
Research Intern Google 2016.5 - 2016.8
Research Intern HP Labs 2015.5 - 2015.8
Research Associate National Institute of Informatics (NII) 2013.2 - 2013.5