Naipeng Dong
TitelCiteras avÅr
Challenges in ehealth: From enabling to enforcing privacy
N Dong, H Jonker, J Pang
International Symposium on Foundations of Health Informatics Engineering and …, 2011
412011
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
272010
Formal analysis of privacy in an eHealth protocol
N Dong, H Jonker, J Pang
European Symposium on Research in Computer Security, 325-342, 2012
222012
Enforcing privacy in the presence of others: Notions, formalisations and relations
N Dong, H Jonker, J Pang
European Symposium on Research in Computer Security, 499-516, 2013
72013
A framework for formal analysis of privacy on SSO protocols
K Wang, G Bai, N Dong, JS Dong
International Conference on Security and Privacy in Communication Systems …, 2017
32017
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
22018
Verification of strong Nash-equilibrium for probabilistic bar systems
D Fernando, N Dong, C Jegourel, JS Dong
International Conference on Formal Engineering Methods, 106-123, 2018
22018
App genome: callback sequencing in Android
C Guo, N Dong, G Bai, Q Ye, J Dong, J Xu, G Si
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
22017
Formal modelling and analysis of receipt-free auction protocols in applied pi
N Dong, H Jonker, J Pang
Computers & Security 65, 405-432, 2017
22017
Verification of Nash-equilibrium for probabilistic BAR systems
D Fernando, N Dong, C Jegourel, JS Dong
2016 21st International Conference on Engineering of Complex Computer …, 2016
22016
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
22016
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
12019
Systematic Comprehension for Developer Reply in Mobile System Forum
C Guo, W Wang, Y Wu, N Dong, Q Ye, J Xu, S Zhang
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
12019
Formal Analysis of an E-Health Protocol
N Dong, H Jonker, J Pang
arXiv preprint arXiv:1808.08403, 2018
12018
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
12018
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols
Q Ye, G Bai, N Dong, JS Dong
International Conference on Security and Privacy in Communication Systems …, 2017
12017
LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking
Q Ye, Y Zhang, G Bai, N Dong, Z Liang, JS Dong, H Wang
International Conference on Information Security, 299-318, 2019
2019
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
2019
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
2019
The foul adversary: formal models
N Dong, T Muller
International Conference on Formal Engineering Methods, 37-53, 2018
2018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20