Naipeng Dong

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 31

Top Topics

Payment Protocol

Learning Models

Mobile Payments

Top Venues

Publications

Shunyao Wang, Ryan K. L. Ko, Guangdong Bai, Naipeng Dong, Taejun Choi, Yanjun Zhang
Evasion Attack and Defense on Machine Learning Models in Cyber-Physical Systems: A Survey. IEEE Commun. Surv. Tutorials 26 (2) (2024)
Shu Peng, Naipeng Dong, Guangdong Bai
Quantitative Explainable AI For Face Recognition. ICECCS (2023)
Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li
Adversarial Detection from Derived Models. Int. J. Pattern Recognit. Artif. Intell. 37 (15) (2023)
Chenkai Guo, Weijie Zhang, Naipeng Dong, Zheli Liu, Yang Xiang
QoS-Aware Diversified Service Selection. IEEE Trans. Serv. Comput. 16 (3) (2023)
Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
A Uniform Framework for Anomaly Detection in Deep Neural Networks. Neural Process. Lett. 54 (4) (2022)
Ao Liu, Chenkai Guo, Naipeng Dong, Yinjie Wang, Jing Xu
DALT: Deep Activity Launching Test via Intent-Constraint Extraction. ISSRE (2022)
Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
A Uniform Framework for Anomaly Detection in Deep Neural Networks. CoRR (2021)
Chenkai Guo, Dengrong Huang, Naipeng Dong, Jianwen Zhang, Jing Xu
Callback2Vec: Callback-aware hierarchical embedding for mobile application. Inf. Sci. 542 (2021)
Taejun Choi, Guangdong Bai, Ryan K. L. Ko, Naipeng Dong, Wenlu Zhang, Shunyao Wang
An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems. CoRR (2021)
Abigail M. Y. Koay, Miao Xie, Ryan K. L. Ko, Charles Sterner, Taejun Choi, Naipeng Dong
SDGen: A Scalable, Reproducible and Flexible Approach to Generate Real World Cyber Security Datasets. UbiSec (2021)
Chenkai Guo, Hui Yang, Dengrong Huang, Jianwen Zhang, Naipeng Dong, Jing Xu, Jingwen Zhu
Review Sharing via Deep Semi-Supervised Code Clone Detection. IEEE Access 8 (2020)
Taejun Choi, Guangdong Bai, Ryan K. L. Ko, Naipeng Dong, Wenlu Zhang, Shunyao Wang
An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems. TrustCom (2020)
Chenkai Guo, Dengrong Huang, Jianwen Zhang, Jing Xu, Guangdong Bai, Naipeng Dong
Early prediction for mode anomaly in generative adversarial network training: An empirical study. Inf. Sci. 534 (2020)
Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong
A blockchain-based decentralized booking system. Knowl. Eng. Rev. 35 (2020)
Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang
LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. ISC (2019)
Chenkai Guo, Weijing Wang, Yanfeng Wu, Naipeng Dong, Quanqi Ye, Jing Xu, Sen Zhang
Systematic Comprehension for Developer Reply in Mobile System Forum. SANER (2019)
Hongcan Gao, Chenkai Guo, Yanfeng Wu, Naipeng Dong, Xiaolei Hou, Sihan Xu, Jing Xu
AutoPer: Automatic Recommender for Runtime-Permission in Android Applications. COMPSAC (1) (2019)
Chenkai Guo, Yifan Xu, Xiaolei Hou, Naipeng Dong, Jing Xu, Quanqi Ye
Deep Attentive Factorization Machine for App Recommendation Service. ICWS (2019)
Chenkai Guo, Dengrong Huang, Naipeng Dong, Quanqi Ye, Jing Xu, Yaqing Fan, Hui Yang, Yifan Xu
Deep Review Sharing. SANER (2019)
Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM (2018)
Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong
Formal Analysis of a Proof-of-Stake Blockchain. ICECCS (2018)
Naipeng Dong, Tim Muller
The Foul Adversary: Formal Models. ICFEM (2018)
Xiaohui Sun, Sihan Xu, Chenkai Guo, Jing Xu, Naipeng Dong, Xiujuan Ji, Sen Zhang
A Projection-Based Approach for Memory Leak Detection. COMPSAC (2) (2018)
Naipeng Dong, Hugo Jonker, Jun Pang
Formal Analysis of an E-Health Protocol. CoRR (2018)
Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong
A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm (2017)
Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
A Verification Framework for Stateful Security Protocols. ICFEM (2017)
Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm (2017)
Naipeng Dong, Hugo L. Jonker, Jun Pang
Formal modelling and analysis of receipt-free auction protocols in applied pi. Comput. Secur. 65 (2017)
Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si
App genome: callback sequencing in Android. ICSE (Companion Volume) (2017)
Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS (2016)
Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu
Automatic Construction of Callback Model for Android Application. ICECCS (2016)
Naipeng Dong, Hugo Jonker, Jun Pang
Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. ESORICS (2013)
Naipeng Dong, Hugo Jonker, Jun Pang
Formal Analysis of Privacy in an eHealth Protocol. ESORICS (2012)
Naipeng Dong, Hugo Jonker, Jun Pang
Challenges in eHealth: From Enabling to Enforcing Privacy. FHIES (2011)
Naipeng Dong, Hugo L. Jonker, Jun Pang
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. Formal Aspects in Security and Trust (2010)