|
2025 Book Chapter Incentivising Decentralisation with Harberger TaxSong, Hans, Dong, Naipeng and Bai, Guangdong (2025). Incentivising Decentralisation with Harberger Tax. Communications in Computer and Information Science. (pp. 85-102) Singapore: Springer Nature Singapore. doi: 10.1007/978-981-96-4442-1_6 |
|
2024 Conference Publication Formal verification techniques for post-quantum cryptography: a systematic reviewXu, Yuexi, Li, Zhenyuan, Dong, Naipeng, Kuchta, Veronika, Hou, Zhe and Liu, Dongxi (2024). Formal verification techniques for post-quantum cryptography: a systematic review. 28th International Conference, ICECCS 2024, Limassol, Cyprus, 19-21 June 2024. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-66456-4_19 |
|
2024 Conference Publication The Benefits of Non-Fungible Token (NFT) Technology in Music CopyrightDong, Jie, Dong, Naipeng and Bai, Guangdong (2024). The Benefits of Non-Fungible Token (NFT) Technology in Music Copyright. 7th International Symposium on Distributed Ledger Technology SDLT 2023, Brisbane, QLD Australia, 30 November – 1 December 2023. Singapore: Springer. doi: 10.1007/978-981-97-0006-6_7 |
|
2024 Conference Publication Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote PurchaseYu, Yisong, Dong, Naipeng, Hou, Zhe and Song Dong, Jin (2024). Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, 2 - 6 December 2024. Singapore, Singapore: Springer Nature Singapore. doi: 10.1007/978-981-96-0617-7_22 |
|
2024 Conference Publication EVM-Vale: formal verification of EVM bytecode using valeCumming, Daniel, Utting, Mark, Cassez, Franck, Dong, Naipeng, Bayat Tork, Sadra and Risius, Marten (2024). EVM-Vale: formal verification of EVM bytecode using vale. 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, 30 November - 1 December 2023. Heidelberg, Germany: Springer. doi: 10.1007/978-981-97-0006-6_3 |
|
2024 Book Distributed Ledger Technology: 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected PapersNaipeng Dong, Babu Pillai, Guangdong Bai and Mark Utting eds. (2024). Distributed Ledger Technology: 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers. Communications in Computer and Information Science, Heidelberg, Germany: Springer. doi: 10.1007/978-981-97-0006-6 |
|
2024 Book Chapter VeraciTIX: an NFT-based event ticketing systemWard, Ryan, Jo, Komei, Dong, Naipeng, Owens, Bill and Portmann, Marius (2024). VeraciTIX: an NFT-based event ticketing system. Blockchain and smart-contract technologies for innovative applications. (pp. 189-213) edited by Nour El Madhoun, Ioanna Dionysiou and Emmanuel Bertin. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-50028-2_7 |
|
2023 Journal Article Adversarial detection from derived modelsZhao, Fangzhen, Zhang, Chenyi, Dong, Naipeng and Li, Ming (2023). Adversarial detection from derived models. International Journal of Pattern Recognition and Artificial Intelligence, 37 (15) 2350031. doi: 10.1142/s0218001423500313 |
|
2023 Journal Article Evasion attack and defense on machine learning models in cyber-physical systems: a surveyWang, Shunyao, Ko, Ryan K. L., Bai, Guangdong, Dong, Naipeng, Choi, Taejun and Zhang, Yanjun (2023). Evasion attack and defense on machine learning models in cyber-physical systems: a survey. IEEE Communications Surveys and Tutorials, 26 (2), 930-966. doi: 10.1109/comst.2023.3344808 |
|
2023 Conference Publication Quantitative explainable AI for face recognitionPeng, Shu, Dong, Naipeng and Bai, Guangdong (2023). Quantitative explainable AI for face recognition. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, 14-16 June 2023. Piscataway, NJ, United States: IEEE. doi: 10.1109/iceccs59891.2023.00014 |
|
2022 Conference Publication Verification of EVM Bytecode with ValeCumming, Daniel Keith, Utting, Mark, Dong, Naipeng, Cassez, Frank, Tork, S. B. and Risius, Marten (2022). Verification of EVM Bytecode with Vale. 6th Symposium on Distributed Ledger Technology 2022 (SDLT 2022), Gold Coast, QLD Australia, 22 November 2022. |
|
2022 Conference Publication DALT: Deep Activity Launching Test via intent-constraint extractionLiu, Ao, Guo, Chenkai, Dong, Naipeng, Wang, Yinjie and Xu, Jing (2022). DALT: Deep Activity Launching Test via intent-constraint extraction. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE), Charlotte, NC, United States, 31 October-3 November 2022. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/issre55969.2022.00053 |
|
2022 Journal Article QoS-aware Diversified Service SelectionGuo, Chenkai, Zhang, Weijie, Dong, Naipeng, Liu, Zheli and Xiang, Yang (2022). QoS-aware Diversified Service Selection. IEEE Transactions on Services Computing, PP (99), 2085-2099. doi: 10.1109/tsc.2022.3210658 |
|
2022 Conference Publication SDGen: a scalable, reproducible and flexible approach to generate real world cyber security datasetsKoay, Abigail M. Y., Xie, Miao, Ko, Ryan K. L., Sterner, Charles, Choi, Taejun and Dong, Naipeng (2022). SDGen: a scalable, reproducible and flexible approach to generate real world cyber security datasets. 1st International Conference on Ubiquitous Security (UbiSec), Guangzhou, Peoples Republic of China, 28-31 December 2021. Singapore, Singapore: Springer Singapore. doi: 10.1007/978-981-19-0468-4_8 |
|
2021 Conference Publication An analytics framework for heuristic inference attacks against industrial control systemsChoi, Taejun, Bai, Guangdong, Ko, Ryan K. L., Dong, Naipeng, Zhang, Wenlu and Wang, Shunyao (2021). An analytics framework for heuristic inference attacks against industrial control systems. 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 202, Guangzhou, China, 29 December 2020-1 January 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/TrustCom50675.2020.00112 |
|
2021 Journal Article Callback2Vec: Callback-aware hierarchical embedding for mobile applicationGuo, Chenkai, Huang, Dengrong, Dong, Naipeng, Zhang, Jianwen and Xu, Jing (2021). Callback2Vec: Callback-aware hierarchical embedding for mobile application. Information Sciences, 542, 131-155. doi: 10.1016/j.ins.2020.06.058 |
|
2020 Journal Article Early prediction for mode anomaly in generative adversarial network training: an empirical studyGuo, Chenkai, Huang, Dengrong, Zhang, Jianwen, Xu, Jing, Bai, Guangdong and Dong, Naipeng (2020). Early prediction for mode anomaly in generative adversarial network training: an empirical study. Information Sciences, 534, 117-138. doi: 10.1016/j.ins.2020.05.046 |
|
2020 Journal Article Review sharing via deep semi-supervised code clone detectionGuo, Chenkai, Yang, Hui, Huang, Dengrong, Zhang, Jianwen, Dong, Naipeng, Xu, Jing and Zhu, Jingwen (2020). Review sharing via deep semi-supervised code clone detection. IEEE Access, 8 8959206, 24948-24965. doi: 10.1109/access.2020.2966532 |
|
2019 Conference Publication Deep Review SharingGuo, Chenkai, Huang, Dengrong, Dong, Naipeng, Ye, Quanqi, Xu, Jing, Fan, Yaqing, Yang, Hui and Xu, Yifan (2019). Deep Review Sharing. 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Hangzhou, China, 24-27 February 2019. Piscataway, NJ United States: IEEE. doi: 10.1109/saner.2019.8668037 |
|
2019 Conference Publication Systematic comprehension for developer reply in mobile system forumGuo, Chenkai, Wang, Weijing, Wu, Yanfeng, Dong, Naipeng, Ye, Quanqi, Xu, Jing and Zhang, Sen (2019). Systematic comprehension for developer reply in mobile system forum. 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Hangzhou, Peoples Republic of China, 24-27 February 2019. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/SANER.2019.8668016 |
