Qi Wang - RankMe

17 papers A* 6B 1Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	ProvIoT : Detecting Stealthy Attacks in IoT through Federated Edge-Cloud Security. ACNS (3) Kunal Mukherjee, Joshua Wiedemeier, Qi Wang, Junpei Kamimura, Junghwan John Rhee, James Wei, Zhichun Li, Xiao Yu, Lu-An Tang, Jiaping Gui, Kangkook Jee
2023	J	`jnl`	Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data. Proc. ACM Manag. Data Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan
2021	A*	`conf`	Detecting AI Trojans Using Meta Neural Analysis. SP Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li
2020	—	`conf`	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
2020	—	`—`	Securing emerging IoT systems through systematic analysis and design Qi Wang
2020	A*	`conf`	You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis. NDSS Qi Wang, Wajih Ul Hassan, Ding Li, Kangkook Jee, Xiao Yu, Kexuan Zou, Junghwan Rhee, Zhengzhang Chen, Wei Cheng, Carl A. Gunter, Haifeng Chen
2019	—	`conf`	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
2019	A*	`conf`	Charting the Attack Surface of Trigger-Action IoT Platforms. CCS Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter
2019	J	`jnl`	Detecting AI Trojans Using Meta Neural Analysis. CoRR Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li
2019	J	`jnl`	Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
2018	A*	`conf`	Cross-App Poisoning in Software-Defined Networking. CCS Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi
2018	A*	`conf`	Fear and Logging in the Internet of Things. NDSS Qi Wang, Wajih Ul Hassan, Adam Bates, Carl A. Gunter
2018	—	`conf`	Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
2018	A*	`conf`	Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations. CCS Karan Ganju, Qi Wang, Wei Yang, Carl A. Gunter, Nikita Borisov
2018	B	`conf`	ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
2013	—	`conf`	Extracting URLs from JavaScript via program analysis. ESEC/SIGSOFT FSE Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao
2013	—	`conf`	Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. FHPC@ICFP Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu