Qi Wang

According to our database, Qi Wang authored at least 16 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ProvIoT : Detecting Stealthy Attacks in IoT through Federated Edge-Cloud Security.

Kunal Mukherjee, Joshua Wiedemeier, Qi Wang, Junpei Kamimura, Junghwan John Rhee, James Wei, Zhichun Li, Xiao Yu, Lu-An Tang, Jiaping Gui, Kangkook Jee

Proceedings of the Applied Cryptography and Network Security, 2024

2023

Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data.

Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan

Proc. ACM Manag. Data, 2023

2021

Detecting AI Trojans Using Meta Neural Analysis.

Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Securing emerging IoT systems through systematic analysis and design

Qi Wang

PhD thesis, 2020

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.

Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

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

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.

Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer

Formal Aspects Comput., 2019

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.

Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Charting the Attack Surface of Trigger-Action IoT Platforms.

Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Formal Modeling and Analysis of the Walter Transactional Data Store.

Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Fear and Logging in the Internet of Things.

Qi Wang, Wajih Ul Hassan, Adam Bates, Carl A. Gunter

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.

Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Cross-App Poisoning in Software-Defined Networking.

Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations.

Karan Ganju, Qi Wang, Wei Yang, Carl A. Gunter, Nikita Borisov

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2013

Extracting URLs from JavaScript via program analysis.

Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism.

Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013