Naipeng Dong - RankMe

55 papers A* 2A 8B 8C 7Journal 21Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multi-agent reinforcement curriculum learning for real unmanned ground vehicles. Eng. Appl. Artif. Intell. Timothy Mead, Zhe Wang, Ernest Foo, Jinsong Dong, Naipeng Dong, Ryan Kok Leong Ko, Abigail M. Y. Koay, Kien Nguyen Thanh, Yue Xu, Junae Kim, Stephen Bornstein, Zhe Hou
2026	J	`jnl`	SEED: A Minimal‑Footprint TEE Framework for Verifiable, Confidential Microservice Deployment. Proc. Priv. Enhancing Technol. Omar Jarkas, Ryan K. L. Ko, Naipeng Dong, Md. Redowan Mahmud
2025	J	`jnl`	A Container Security Survey: Exploits, Attacks, and Defenses. ACM Comput. Surv. Omar Jarkas, Ryan Kok Leong Ko, Naipeng Dong, Md. Redowan Mahmud
2025	—	`conf`	A Large-Scale Analysis of Privacy Labels in Child-Accessible Mobile Applications. ADMA (2) Fengqi Yu, Fuman Xie, Naipeng Dong, Guangdong Bai
2025	J	`jnl`	Anomaly Detection Based on Critical Paths for Deep Neural Networks. CoRR Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li, Jinxiao Shan
2025	A*	`conf`	Don't Mess with Bro's Cheese! An Empirical Study of Resource Conflict in Android Multi-window. ASE Chenkai Guo, Huimin Zhao, Tianhong Wang, Naipeng Dong, Qingqing Dong, Jiarui Che, Yaqiong Qiao, Xiangyang Luo, Zheli Liu
2025	A*	`conf`	EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications. ICSE Chenkai Guo, Qianlu Wang, Naipeng Dong, Lingling Fan, Tianhong Wang, Weijie Zhang, Enbao Chen, Zheli Liu, Lu Yu
2025	J	`jnl`	Fratricide! Hijacking in Android Multi-Window. IEEE Trans. Dependable Secur. Comput. Chenkai Guo, Tianhong Wang, Qianlu Wang, Naipeng Dong, Xiangyang Luo, Zheli Liu
2025	A	`conf`	Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library. ICSME Bin Duan, Tarek Mahmud, Meiru Che, Yan Yan, Naipeng Dong, Dan Dongseong Kim, Guowei Yang
2025	J	`jnl`	Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library. CoRR Bin Duan, Tarek Mahmud, Meiru Che, Yan Yan, Naipeng Dong, Dan Dongseong Kim, Guowei Yang
2025	—	`conf`	Intelligent Data Refinement and Analysis of Real-World Cyber Attacks on SCADA Systems. e-Energy Wenlu Zhang, Naipeng Dong, Taejun Choi, Guangdong Bai, Ryan K. L. Ko
2025	B	`conf`	Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. ICECCS Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong
2025	—	`conf`	Model Checking the Two-Phase Commit Protocol for Distributed Database Systems. SFPVV Yisong Yu, Naipeng Dong, Jun Pang, Jinsong Dong
2025	J	`jnl`	Uncovering API-Scope Misalignment in the App-in-App Ecosystem. Proc. ACM Softw. Eng. Jiarui Che, Chenkai Guo, Naipeng Dong, Jiaqi Pei, Lingling Fan, Xun Mi, Xueshuo Xie, Xiangyang Luo, Zheli Liu, Renhong Cheng
2025	J	`jnl`	VIMA: A Privacy-Preserving Integrity Measurement Architecture for Containerized Environments. IACR Trans. Cryptogr. Hardw. Embed. Syst. Omar Jarkas, Ryan K. L. Ko, Naipeng Dong, Md. Redowan Mahmud
2025	A	`conf`	XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries. ISSRE Bin Duan, Ruican Dong, Naipeng Dong, Dan Dongseong Kim, Guowei Yang
2025	J	`jnl`	XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries. CoRR Bin Duan, Ruican Dong, Naipeng Dong, Dan Dongseong Kim, Guowei Yang
2024	J	`jnl`	Evasion Attack and Defense on Machine Learning Models in Cyber-Physical Systems: A Survey. IEEE Commun. Surv. Tutorials Shunyao Wang, Ryan K. L. Ko, Guangdong Bai, Naipeng Dong, Taejun Choi, Yanjun Zhang
2024	B	`conf`	Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. ICECCS Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu
2024	C	`conf`	Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. ICFEM Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong
2024	B	`conf`	PQS-BC: Comparative Analysis of NIST Post-quantum Signatures for Blockchain. NSS Wan Kai Wong, Naipeng Dong, Cong Minh Dinh
2023	J	`jnl`	Adversarial Detection from Derived Models. Int. J. Pattern Recognit. Artif. Intell. Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li
2023	J	`jnl`	QoS-Aware Diversified Service Selection. IEEE Trans. Serv. Comput. Chenkai Guo, Weijie Zhang, Naipeng Dong, Zheli Liu, Yang Xiang
2023	B	`conf`	Quantitative Explainable AI For Face Recognition. ICECCS Shu Peng, Naipeng Dong, Guangdong Bai
2022	J	`jnl`	A Uniform Framework for Anomaly Detection in Deep Neural Networks. Neural Process. Lett. Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
2022	A	`conf`	DALT: Deep Activity Launching Test via Intent-Constraint Extraction. ISSRE Ao Liu, Chenkai Guo, Naipeng Dong, Yinjie Wang, Jing Xu
2021	J	`jnl`	A Uniform Framework for Anomaly Detection in Deep Neural Networks. CoRR Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
2021	J	`jnl`	An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems. CoRR Taejun Choi, Guangdong Bai, Ryan K. L. Ko, Naipeng Dong, Wenlu Zhang, Shunyao Wang
2021	J	`jnl`	Callback2Vec: Callback-aware hierarchical embedding for mobile application. Inf. Sci. Chenkai Guo, Dengrong Huang, Naipeng Dong, Jianwen Zhang, Jing Xu
2021	—	`conf`	SDGen: A Scalable, Reproducible and Flexible Approach to Generate Real World Cyber Security Datasets. UbiSec Abigail M. Y. Koay, Miao Xie, Ryan K. L. Ko, Charles Sterner, Taejun Choi, Naipeng Dong
2020	J	`jnl`	A blockchain-based decentralized booking system. Knowl. Eng. Rev. Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong
2020	B	`conf`	An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems. TrustCom Taejun Choi, Guangdong Bai, Ryan K. L. Ko, Naipeng Dong, Wenlu Zhang, Shunyao Wang
2020	J	`jnl`	Early prediction for mode anomaly in generative adversarial network training: An empirical study. Inf. Sci. Chenkai Guo, Dengrong Huang, Jianwen Zhang, Jing Xu, Guangdong Bai, Naipeng Dong
2020	J	`jnl`	Review Sharing via Deep Semi-Supervised Code Clone Detection. IEEE Access Chenkai Guo, Hui Yang, Dengrong Huang, Jianwen Zhang, Naipeng Dong, Jing Xu, Jingwen Zhu
2019	—	`conf`	AutoPer: Automatic Recommender for Runtime-Permission in Android Applications. COMPSAC (1) Hongcan Gao, Chenkai Guo, Yanfeng Wu, Naipeng Dong, Xiaolei Hou, Sihan Xu, Jing Xu
2019	A	`conf`	Deep Attentive Factorization Machine for App Recommendation Service. ICWS Chenkai Guo, Yifan Xu, Xiaolei Hou, Naipeng Dong, Jing Xu, Quanqi Ye
2019	A	`conf`	Deep Review Sharing. SANER Chenkai Guo, Dengrong Huang, Naipeng Dong, Quanqi Ye, Jing Xu, Yaqing Fan, Hui Yang, Yifan Xu
2019	C	`conf`	LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. ISC Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang
2019	A	`conf`	Systematic Comprehension for Developer Reply in Mobile System Forum. SANER Chenkai Guo, WeiJing Wang, Yanfeng Wu, Naipeng Dong, Quanqi Ye, Jing Xu, Sen Zhang
2018	—	`conf`	A Projection-Based Approach for Memory Leak Detection. COMPSAC (2) Xiaohui Sun, Sihan Xu, Chenkai Guo, Jing Xu, Naipeng Dong, Xiujuan Ji, Sen Zhang
2018	B	`conf`	Formal Analysis of a Proof-of-Stake Blockchain. ICECCS Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong
2018	J	`jnl`	Formal Analysis of an E-Health Protocol. CoRR Naipeng Dong, Hugo Jonker, Jun Pang
2018	C	`conf`	The Foul Adversary: Formal Models. ICFEM Naipeng Dong, Tim Muller
2018	C	`conf`	Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
2017	C	`conf`	A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong
2017	C	`conf`	A Verification Framework for Stateful Security Protocols. ICFEM Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
2017	—	`conf`	App genome: callback sequencing in Android. ICSE (Companion Volume) Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si
2017	J	`jnl`	Formal modelling and analysis of receipt-free auction protocols in applied pi. Comput. Secur. Naipeng Dong, Hugo L. Jonker, Jun Pang
2017	C	`conf`	Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong
2016	B	`conf`	Automatic Construction of Callback Model for Android Application. ICECCS Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu
2016	B	`conf`	Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
2013	A	`conf`	Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. ESORICS Naipeng Dong, Hugo Jonker, Jun Pang
2012	A	`conf`	Formal Analysis of Privacy in an eHealth Protocol. ESORICS Naipeng Dong, Hugo Jonker, Jun Pang
2011	—	`conf`	Challenges in eHealth: From Enabling to Enforcing Privacy. FHIES Naipeng Dong, Hugo Jonker, Jun Pang
2010	—	`conf`	Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. Formal Aspects in Security and Trust Naipeng Dong, Hugo L. Jonker, Jun Pang