Segueix
Naipeng Dong
Naipeng Dong
The University of Queensland
Correu electrònic verificat a uq.edu.au
Títol
Citada per
Citada per
Any
Challenges in ehealth: From enabling to enforcing privacy
N Dong, H Jonker, J Pang
International Symposium on Foundations of Health Informatics Engineering and …, 2011
842011
Formal analysis of a proof-of-stake blockchain
WYMM Thin, N Dong, G Bai, JS Dong
2018 23rd International Conference on Engineering of Complex Computer …, 2018
832018
Analysis of a receipt-free auction protocol in the applied pi calculus
N Dong, H Jonker, J Pang
International Workshop on Formal Aspects in Security and Trust, 223-238, 2010
352010
Formal analysis of privacy in an eHealth protocol
N Dong, H Jonker, J Pang
Computer Security–ESORICS 2012: 17th European Symposium on Research in …, 2012
292012
Autoper: Automatic recommender for runtime-permission in android applications
H Gao, C Guo, Y Wu, N Dong, X Hou, S Xu, J Xu
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
212019
Evasion attack and defense on machine learning models in cyber-physical systems: A survey
S Wang, RKL Ko, G Bai, N Dong, T Choi, Y Zhang
IEEE communications surveys & tutorials 26 (2), 930-966, 2023
172023
A projection-based approach for memory leak detection
X Sun, S Xu, C Guo, J Xu, N Dong, X Ji, S Zhang
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
172018
A uniform framework for anomaly detection in deep neural networks
F Zhao, C Zhang, N Dong, Z You, Z Wu
Neural Processing Letters 54 (4), 3467-3488, 2022
152022
Deep attentive factorization machine for app recommendation service
C Guo, Y Xu, X Hou, N Dong, J Xu, Q Ye
2019 IEEE International Conference on Web Services (ICWS), 134-138, 2019
152019
An analytics framework for heuristic inference attacks against industrial control systems
T Choi, G Bai, RKL Ko, N Dong, W Zhang, S Wang
2020 IEEE 19th International Conference on Trust, Security and Privacy in …, 2020
142020
Review sharing via deep semi-supervised code clone detection
C Guo, H Yang, D Huang, J Zhang, N Dong, J Xu, J Zhu
IEEE Access 8, 24948-24965, 2020
142020
Deep review sharing
C Guo, D Huang, N Dong, Q Ye, J Xu, Y Fan, H Yang, Y Xu
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
122019
A framework for formal analysis of privacy on SSO protocols
K Wang, G Bai, N Dong, JS Dong
Security and Privacy in Communication Networks: 13th International …, 2018
122018
A blockchain-based decentralized booking system
N Dong, G Bai, LC Huang, EKH Lim, JS Dong
The Knowledge Engineering Review 35, e17, 2020
112020
Enforcing privacy in the presence of others: Notions, formalisations and relations
N Dong, H Jonker, J Pang
Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
112013
Early prediction for mode anomaly in generative adversarial network training: an empirical study
C Guo, D Huang, J Zhang, J Xu, G Bai, N Dong
Information Sciences 534, 117-138, 2020
82020
Verification of strong Nash-equilibrium for probabilistic BAR systems
D Fernando, N Dong, C Jegourel, JS Dong
Formal Methods and Software Engineering: 20th International Conference on …, 2018
82018
Inferring implicit assumptions and correct usage of mobile payment protocols
Q Ye, G Bai, N Dong, JS Dong
Security and Privacy in Communication Networks: 13th International …, 2018
82018
Security analysis of unmanned aircraft systems
MD Nguyen, N Dong, A Roychoudhury
82017
Automatic construction of callback model for android application
C Guo, Q Ye, N Dong, G Bai, JS Dong, J Xu
2016 21st International Conference on Engineering of Complex Computer …, 2016
82016
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20