Kailong Wang - RankMe

91 papers A* 17A 2B 4C 2Journal 58Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	MalModel: hiding malicious payload in mobile deep learning models with black-box backdoor attack. Autom. Softw. Eng. Jiayi Hua, Kailong Wang, Meizhen Wang, Guangdong Bai, Xiapu Luo, Haoyu Wang
2026	J	`jnl`	NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-Level Semantic Slicing. ACM Trans. Softw. Eng. Methodol. Shide Zhou, Tianlin Li, Yihao Huang, Ling Shi, Kailong Wang, Yang Liu, Haoyu Wang
2026	A*	`conf`	On the Feasibility of Using MultiModal LLMs to Execute AR Social Engineering Attacks. AAAI Ting Bi, Chenghang Ye, Zheyu Yang, Ziyi Zhou, Cui Tang, Zui Tao, Jun Zhang, Kailong Wang, Liting Zhou, Yang Yang, Tianlong Yu
2026	A*	`conf`	STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People Who Stutter. AAAI Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao
2026	J	`jnl`	STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People who Stutter. CoRR Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao
2026	J	`jnl`	Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization. CoRR Zidong Zhao, Yihao Huang, Qing Guo, Tianlin Li, Anran Li, Kailong Wang, Jin Song Dong, Geguang Pu
2025	J	`jnl`	Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving. CoRR Xinyi Zheng, Ningke Li, Xiaokun Luan, Kailong Wang, Ling Shi, Meng Sun, Haoyu Wang
2025	J	`jnl`	Beyond the Scope: Security Testing of Permission Management in Team Workspace. CoRR Liuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang, Guangdong Bai, Jin Song Dong
2025	J	`jnl`	Boosting Pointer Analysis With Large Language Model-Enhanced Allocation Function Detection. CoRR Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Peng Di, Yao Guo, Ding Li, Xiangqun Chen
2025	J	`jnl`	Characterizing Cryptocurrency-Themed Malicious Browser Extensions. Commun. ACM Guangdong Bai, Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Beng Chin Ooi, Jin Song Dong
2025	J	`jnl`	Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation. CoRR Zhibo Zhang, Yuxi Li, Kailong Wang, Shuai Yuan, Ling Shi, Haoyu Wang
2025	—	`conf`	Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models. SP (Workshops) Zihao Xu, Yi Liu, Gelei Deng, Kailong Wang, Yuekang Li, Ling Shi, Stjepan Picek
2025	A*	`conf`	Decoding Secret Memorization in Code LLMs Through Token-Level Characterization. ICSE Yuqing Nie, Chong Wang, Kailong Wang, Guoai Xu, Guosheng Xu, Haoyu Wang
2025	J	`jnl`	Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning. CoRR Ningke Li, Yahui Song, Kailong Wang, Yuekang Li, Ling Shi, Yi Liu, Haoyu Wang
2025	J	`jnl`	Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift. CoRR Shuai Yuan, Zhibo Zhang, Yuxi Li, Guangdong Bai, Kailong Wang
2025	J	`jnl`	Enhancing Semantic Understanding in Pointer Analysis using Large Language Models. CoRR Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Yao Guo, Ding Li, Xiangqun Chen
2025	J	`jnl`	Exposing the Ghost in the Transformer: Abnormal Detection for Large Language Models via Hidden State Forensics. CoRR Shide Zhou, Kailong Wang, Ling Shi, Haoyu Wang
2025	—	`conf`	KRAKEN-FUZZ: Minimizing Corpus During Ensemble Fuzzing. SBFT@ICSE Jikai Wang, Yuekang Li, Kailong Wang
2025	J	`jnl`	Large Language Models are overconfident and amplify human bias. CoRR Fengfei Sun, Ningke Li, Kailong Wang, Lorenz Goette
2025	J	`jnl`	MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps ACM Trans. Softw. Eng. Methodol. Shenao Wang, Yuekang Li, Kailong Wang, Yi Liu, Hui Li, Yang Liu, Haoyu Wang
2025	J	`jnl`	OmniBench-RAG: A Multi-Domain Evaluation Platform for Retrieval-Augmented Generation Tools. CoRR Jiaxuan Liang, Shide Zhou, Kailong Wang
2025	J	`jnl`	On the Feasibility of Using MultiModal LLMs to Execute AR Social Engineering Attacks. CoRR Ting Bi, Chenghang Ye, Zheyu Yang, Ziyi Zhou, Cui Tang, Jun Zhang, Zui Tao, Kailong Wang, Liting Zhou, Yang Yang, Tianlong Yu
2025	—	`conf`	Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. ICML (Position Papers) Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
2025	J	`jnl`	Privacy Protection Against Personalized Text-to-Image Synthesis via Cross-image Consistency Constraints. CoRR Guanyu Wang, Kailong Wang, Yihao Huang, Mingyi Zhou, Zhang Qing cnwatcher, Geguang Pu, Li Li
2025	J	`jnl`	REFN: A Reinforcement-Learning-From-Network Framework against 1-day/n-day Exploitations. CoRR Tianlong Yu, Lihong Liu, Ziyi Zhou, Fudu Xing, Kailong Wang, Yang Yang
2025	A*	`conf`	SEAR: A Multimodal Dataset for Analyzing AR-LLM-Driven Social Engineering Behaviors. ACM Multimedia Tianlong Yu, Chenghang Ye, Zheyu Yang, Ziyi Zhou, Cui Tang, Zui Tao, Jun Zhang, Kailong Wang, Liting Zhou, Yang Yang, Ting Bi
2025	J	`jnl`	SEAR: A Multimodal Dataset for Analyzing AR-LLM-Driven Social Engineering Behaviors. CoRR Tianlong Yu, Chenghang Ye, Zheyu Yang, Ziyi Zhou, Cui Tang, Zui Tao, Jun Zhang, Kailong Wang, Liting Zhou, Yang Yang, Ting Bi
2025	J	`jnl`	Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models. CoRR Fan Yang, Yihao Huang, Jiayi Zhu, Ling Shi, Geguang Pu, Jin Song Dong, Kailong Wang
2025	A*	`conf`	Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks. ICSE Shide Zhou, Tianlin Li, Kailong Wang, Yihao Huang, Ling Shi, Yang Liu, Haoyu Wang
2024	—	`conf`	A Hitchhiker's Guide to Jailbreaking ChatGPT via Prompt Engineering. SEA4DQ@SIGSOFT FSE Yi Liu, Gelei Deng, Zhengzi Xu, Yuekang Li, Yaowen Zheng, Ying Zhang, Lida Zhao, Tianwei Zhang, Kailong Wang
2024	J	`jnl`	A Large-Scale Privacy Assessment of Android Third-Party SDKs. CoRR Mark Huasong Meng, Chuan Yan, Yun Hao, Qing Zhang, Zeyu Wang, Kailong Wang, Sin Gee Teo, Guangdong Bai, Jin Song Dong
2024	B	`conf`	Analyzing Excessive Permission Requests in Google Workspace Add-Ons. ICECCS Liuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang
2024	J	`jnl`	Beyond Fidelity: Explaining Vulnerability Localization of Learning-Based Detectors. ACM Trans. Softw. Eng. Methodol. Baijun Cheng, Shengming Zhao, Kailong Wang, Meizhen Wang, Guangdong Bai, Ruitao Feng, Yao Guo, Lei Ma, Haoyu Wang
2024	J	`jnl`	Beyond Fidelity: Explaining Vulnerability Localization of Learning-based Detectors. CoRR Baijun Cheng, Shengming Zhao, Kailong Wang, Meizhen Wang, Guangdong Bai, Ruitao Feng, Yao Guo, Lei Ma, Haoyu Wang
2024	J	`jnl`	Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models. CoRR Zihao Xu, Yi Liu, Gelei Deng, Kailong Wang, Yuekang Li, Ling Shi, Stjepan Picek
2024	J	`jnl`	Decoding Secret Memorization in Code LLMs Through Token-Level Characterization. CoRR Yuqing Nie, Chong Wang, Kailong Wang, Guoai Xu, Guosheng Xu, Haoyu Wang
2024	J	`jnl`	Digger: Detecting Copyright Content Mis-usage in Large Language Model Training. CoRR Haodong Li, Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu, Guoai Xu, Guosheng Xu, Haoyu Wang
2024	A*	`conf`	Don't Bite Off More than You Can Chew: Investigating Excessive Permission Requests in Trigger-Action Integrations. WWW Liuhuo Wan, Kailong Wang, Kulani Mahadewa, Haoyu Wang, Guangdong Bai
2024	J	`jnl`	Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models. Proc. ACM Program. Lang. Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang
2024	J	`jnl`	Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models. CoRR Fan Yang, Yihao Huang, Kailong Wang, Ling Shi, Geguang Pu, Yang Liu, Haoyu Wang
2024	A	`conf`	Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions. SANER Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong
2024	J	`jnl`	Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection. CoRR Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang
2024	J	`jnl`	Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection. Proc. ACM Softw. Eng. Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang
2024	A*	`conf`	GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models. ASE Zhibo Zhang, Wuxia Bai, Yuxi Li, Mark Huasong Meng, Kailong Wang, Ling Shi, Li Li, Jun Wang, Haoyu Wang
2024	J	`jnl`	GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models. CoRR Zhibo Zhang, Wuxia Bai, Yuxi Li, Mark Huasong Meng, Kailong Wang, Ling Shi, Li Li, Jun Wang, Haoyu Wang
2024	J	`jnl`	HalluVault: A Novel Logic Programming-aided Metamorphic Testing Framework for Detecting Fact-Conflicting Hallucinations in Large Language Models. CoRR Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang
2024	J	`jnl`	Investigating Coverage Criteria in Large Language Models: An In-Depth Study Through Jailbreak Attacks. CoRR Shide Zhou, Tianlin Li, Kailong Wang, Yihao Huang, Ling Shi, Yang Liu, Haoyu Wang
2024	A*	`conf`	Is It Safe to Share Your Files? An Empirical Security Analysis of Google Workspace. WWW Liuhuo Wan, Kailong Wang, Haoyu Wang, Guangdong Bai
2024	J	`jnl`	Large Language Models for Cyber Security: A Systematic Literature Review. CoRR Hanxiang Xu, Shenao Wang, Ningke Li, Kailong Wang, Yanjie Zhao, Kai Chen, Ting Yu, Yang Liu, Haoyu Wang
2024	J	`jnl`	Large Language Models for Software Engineering: A Systematic Literature Review. ACM Trans. Softw. Eng. Methodol. Xinyi Hou, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John Grundy, Haoyu Wang
2024	J	`jnl`	Lockpicking LLMs: A Logit-Based Jailbreak Using Token-level Manipulation. CoRR Yuxi Li, Yi Liu, Yuekang Li, Ling Shi, Gelei Deng, Shengquan Chen, Kailong Wang
2024	A*	`conf`	MASTERKEY: Automated Jailbreaking of Large Language Model Chatbots. NDSS Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, Yang Liu
2024	J	`jnl`	MalModel: Hiding Malicious Payload in Mobile Deep Learning Models with Black-box Backdoor Attack. CoRR Jiayi Hua, Kailong Wang, Meizhen Wang, Guangdong Bai, Xiapu Luo, Haoyu Wang
2024	—	`conf`	MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation. FORGE Guanyu Wang, Yuekang Li, Yi Liu, Gelei Deng, Tianlin Li, Guosheng Xu, Yang Liu, Haoyu Wang, Kailong Wang
2024	J	`jnl`	MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation. CoRR Guanyu Wang, Yuekang Li, Yi Liu, Gelei Deng, Tianlin Li, Guosheng Xu, Yang Liu, Haoyu Wang, Kailong Wang
2024	J	`jnl`	MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis. CoRR Shenao Wang, Yuekang Li, Kailong Wang, Yi Liu, Hui Li, Yang Liu, Haoyu Wang
2024	J	`jnl`	Model-Editing-Based Jailbreak against Safety-aligned Large Language Models. CoRR Yuxi Li, Zhibo Zhang, Kailong Wang, Ling Shi, Haoyu Wang
2024	A*	`conf`	Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs. ASE Jian Zhao, Shenao Wang, Yanjie Zhao, Xinyi Hou, Kailong Wang, Peiming Gao, Yuanchao Zhang, Chen Wei, Haoyu Wang
2024	J	`jnl`	Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs. CoRR Jian Zhao, Shenao Wang, Yanjie Zhao, Xinyi Hou, Kailong Wang, Peiming Gao, Yuanchao Zhang, Chen Wei, Haoyu Wang
2024	J	`jnl`	NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing. CoRR Shide Zhou, Tianlin Li, Yihao Huang, Ling Shi, Kailong Wang, Yang Liu, Haoyu Wang
2024	J	`jnl`	Pandora: Jailbreak GPTs by Retrieval Augmented Generation Poisoning. CoRR Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu
2024	B	`conf`	SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection. ICECCS Wuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, Ning Zhang
2024	J	`jnl`	SPOLRE: Semantic Preserving Object Layout Reconstruction for Image Captioning System Testing. CoRR Yi Liu, Guanyu Wang, Xinyi Zheng, Gelei Deng, Kailong Wang, Yang Liu, Haoyu Wang
2024	A*	`conf`	Semantic-Enhanced Indirect Call Analysis with Large Language Models. ASE Baijun Cheng, Cen Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Ding Li, Xiangqun Chen
2024	J	`jnl`	Semantic-Enhanced Indirect Call Analysis with Large Language Models. CoRR Baijun Cheng, Ce Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Xiangqun Chen
2024	J	`jnl`	The Devil Behind the Mirror: Tracking the Campaigns of Cryptocurrency Abuses on the Dark Web. CoRR Pengcheng Xia, Zhou Yu, Kailong Wang, Kai Ma, Shuo Chen, Xiapu Luo, Yajin Zhou, Lei Wu, Guangdong Bai, Haoyu Wang
2024	J	`jnl`	The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. CoRR Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong
2024	J	`jnl`	The Vulnerability Is in the Details: Locating Fine-grained Information of Vulnerable Code Identified by Graph-based Detectors. CoRR Baijun Cheng, Kailong Wang, Cuiyun Gao, Xiapu Luo, Li Li, Yao Guo, Xiangqun Chen, Haoyu Wang
2024	A*	`conf`	Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments. ASE Xinyi Zheng, Chen Wei, Shenao Wang, Yanjie Zhao, Peiming Gao, Yuanchao Zhang, Kailong Wang, Haoyu Wang
2024	J	`jnl`	Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments. CoRR Xinyi Zheng, Chen Wei, Shenao Wang, Yanjie Zhao, Peiming Gao, Yuanchao Zhang, Kailong Wang, Haoyu Wang
2024	J	`jnl`	WALLETRADAR: Towards Automating the Detection of Vulnerabilities in Browser-based Cryptocurrency Wallets. CoRR Pengcheng Xia, Yanhui Guo, Zhaowen Lin, Jun Wu, Pengbo Duan, Ningyu He, Kailong Wang, Tianming Liu, Yinliang Yue, Guoai Xu, Haoyu Wang
2024	J	`jnl`	WalletRadar: towards automating the detection of vulnerabilities in browser-based cryptocurrency wallets. Autom. Softw. Eng. Pengcheng Xia, Yanhui Guo, Zhaowen Lin, Jun Wu, Pengbo Duan, Ningyu He, Kailong Wang, Tianming Liu, Yinliang Yue, Guoai Xu, Haoyu Wang
2023	—	`conf`	Characterizing Cryptocurrency-themed Malicious Browser Extensions. SIGMETRICS (Abstracts) Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
2023	J	`jnl`	Empirical Study on Transformer-based Techniques for Software Engineering. CoRR Yan Xiao, Xinyue Zuo, Lei Xue, Kailong Wang, Jin Song Dong, Ivan Beschastnikh
2023	—	`conf`	Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. PAKDD (2) Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong
2023	J	`jnl`	Jailbreaker: Automated Jailbreak Across Multiple Large Language Model Chatbots. CoRR Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, Yang Liu
2023	J	`jnl`	Large Language Models for Software Engineering: A Systematic Literature Review. CoRR Xinyi Hou, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John C. Grundy, Haoyu Wang
2023	A*	`conf`	MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains. ASE Ningke Li, Shenao Wang, Mingxi Feng, Kailong Wang, Meizhen Wang, Haoyu Wang
2023	—	`conf`	On the Usage-scenario-based Data Minimization in Mini Programs. SaTS@CCS Shenao Wang, Yanjie Zhao, Kailong Wang, Haoyu Wang
2023	J	`jnl`	Prompt Injection attack against LLM-integrated Applications. CoRR Yi Liu, Gelei Deng, Yuekang Li, Kailong Wang, Tianwei Zhang, Yepang Liu, Haoyu Wang, Yan Zheng, Yang Liu
2023	A	`conf`	Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). ISSTA Xu Nie, Ningke Li, Kailong Wang, Shangguang Wang, Xiapu Luo, Haoyu Wang
2023	A*	`conf`	Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs. ASE Shi Meng, Liu Wang, Shenao Wang, Kailong Wang, Xusheng Xiao, Guangdong Bai, Haoyu Wang
2022	A*	`conf`	Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. ASE Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong
2022	A*	`conf`	Assessing certificate validation user interfaces of WPA supplicants. MobiCom Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong
2021	J	`jnl`	Characterizing Cryptocurrency-themed Malicious Browser Extensions. Proc. ACM Meas. Anal. Comput. Syst. Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
2021	A*	`conf`	It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. WWW Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong
2021	J	`jnl`	Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang
2018	C	`conf`	Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols. ICFEM Kailong Wang
2018	B	`conf`	HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. ICECCS Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang
2017	C	`conf`	A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong
2015	B	`conf`	Formal Analysis of a Single Sign-On Protocol Implementation for Android. ICECCS Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong