Naipeng Dong

According to our database, Naipeng Dong authored at least 35 papers between 2010 and 2024.

Collaborative distances:

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

2024

Evasion Attack and Defense on Machine Learning Models in Cyber-Physical Systems: A Survey.

Shunyao Wang, Ryan K. L. Ko, Guangdong Bai, Naipeng Dong, Taejun Choi, Yanjun Zhang

IEEE Commun. Surv. Tutorials, 2024

Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.

Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2024

Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review.

Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

Adversarial Detection from Derived Models.

Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li

Int. J. Pattern Recognit. Artif. Intell., December, 2023

QoS-Aware Diversified Service Selection.

Chenkai Guo, Weijie Zhang, Naipeng Dong, Zheli Liu, Yang Xiang

IEEE Trans. Serv. Comput., 2023

Quantitative Explainable AI For Face Recognition.

Shu Peng, Naipeng Dong, Guangdong Bai

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

A Uniform Framework for Anomaly Detection in Deep Neural Networks.

Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu

Neural Process. Lett., 2022

DALT: Deep Activity Launching Test via Intent-Constraint Extraction.

Ao Liu, Chenkai Guo, Naipeng Dong, Yinjie Wang, Jing Xu

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

Callback2Vec: Callback-aware hierarchical embedding for mobile application.

Chenkai Guo, Dengrong Huang, Naipeng Dong, Jianwen Zhang, Jing Xu

Inf. Sci., 2021

SDGen: A Scalable, Reproducible and Flexible Approach to Generate Real World Cyber Security Datasets.

Abigail M. Y. Koay, Miao Xie, Ryan K. L. Ko, Charles Sterner, Taejun Choi, Naipeng Dong

Proceedings of the Ubiquitous Security - First International Conference, 2021

2020

A blockchain-based decentralized booking system.

Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong

Knowl. Eng. Rev., 2020

Early prediction for mode anomaly in generative adversarial network training: An empirical study.

Chenkai Guo, Dengrong Huang, Jianwen Zhang, Jing Xu, Guangdong Bai, Naipeng Dong

Inf. Sci., 2020

Review Sharing via Deep Semi-Supervised Code Clone Detection.

Chenkai Guo, Hui Yang, Dengrong Huang, Jianwen Zhang, Naipeng Dong, Jing Xu, Jingwen Zhu

IEEE Access, 2020

An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems.

Taejun Choi, Guangdong Bai, Ryan K. L. Ko, Naipeng Dong, Wenlu Zhang, Shunyao Wang

Proceedings of the 19th IEEE International Conference on Trust, 2020

2019

Systematic Comprehension for Developer Reply in Mobile System Forum.

Chenkai Guo, Weijing Wang, Yanfeng Wu, Naipeng Dong, Quanqi Ye, Jing Xu, Sen Zhang

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Deep Review Sharing.

Chenkai Guo, Dengrong Huang, Naipeng Dong, Quanqi Ye, Jing Xu, Yaqing Fan, Hui Yang, Yifan Xu

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.

Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang

Proceedings of the Information Security - 22nd International Conference, 2019

Deep Attentive Factorization Machine for App Recommendation Service.

Chenkai Guo, Yifan Xu, Xiaolei Hou, Naipeng Dong, Jing Xu, Quanqi Ye

Proceedings of the 2019 IEEE International Conference on Web Services, 2019

AutoPer: Automatic Recommender for Runtime-Permission in Android Applications.

Hongcan Gao, Chenkai Guo, Yanfeng Wu, Naipeng Dong, Xiaolei Hou, Sihan Xu, Jing Xu

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Formal Analysis of an E-Health Protocol.

Naipeng Dong, Hugo Jonker, Jun Pang

CoRR, 2018

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.

Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2018

The Foul Adversary: Formal Models.

Naipeng Dong, Tim Muller

Proceedings of the Formal Methods and Software Engineering, 2018

Formal Analysis of a Proof-of-Stake Blockchain.

Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

A Projection-Based Approach for Memory Leak Detection.

Xiaohui Sun, Sihan Xu, Chenkai Guo, Jing Xu, Naipeng Dong, Xiujuan Ji, Sen Zhang

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Formal modelling and analysis of receipt-free auction protocols in applied pi.

Naipeng Dong, Hugo L. Jonker, Jun Pang

Comput. Secur., 2017

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols.

Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong

Proceedings of the Security and Privacy in Communication Networks, 2017

A Framework for Formal Analysis of Privacy on SSO Protocols.

Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong

Proceedings of the Security and Privacy in Communication Networks, 2017

App genome: callback sequencing in Android.

Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si

Proceedings of the 39th International Conference on Software Engineering, 2017

A Verification Framework for Stateful Security Protocols.

Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Automatic Construction of Callback Model for Android Application.

Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Verification of Nash-Equilibrium for Probabilistic BAR Systems.

Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2013

Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations.

Naipeng Dong, Hugo Jonker, Jun Pang

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Formal Analysis of Privacy in an eHealth Protocol.

Naipeng Dong, Hugo Jonker, Jun Pang

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

Challenges in eHealth: From Enabling to Enforcing Privacy.

Naipeng Dong, Hugo Jonker, Jun Pang

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.

Naipeng Dong, Hugo L. Jonker, Jun Pang

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010