|
2025 Conference Publication XAMT: cross-framework API matching for testing deep learning librariesDuan, Bin, Dong, Ruican, Dong, Naipeng, Kim, Dan Dongseong and Yang, Guowei (2025). XAMT: cross-framework API matching for testing deep learning libraries. 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE), São Paulo, Brazil, 21-24 October 2025. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/issre66568.2025.00030 |
|
2025 Conference Publication A large-scale analysis of privacy labels in child-accessible mobile applicationsYu, Fengqi, Xie, Fuman, Dong, Naipeng and Bai, Guangdong (2025). A large-scale analysis of privacy labels in child-accessible mobile applications. 21st International Conference ADMA 2025, Kyoto, Japan, 22-24 October 2025. Singapore: Springer. doi: 10.1007/978-981-95-3456-2_32 |
|
2025 Conference Publication Harnessing LLMs for document-guided fuzzing of OpenCV libraryDuan, Bin, Mahmud, Tarek, Che, Meiru, Yan, Yan, Dong, Naipeng, Kim, Dan Dongseong and Yang, Guowei (2025). Harnessing LLMs for document-guided fuzzing of OpenCV library. 2025 IEEE International Conference on Software Maintenance and Evolution (ICSME), Auckland, New Zealand, 7-12 September 2025. Piscataway, NJ, United States: IEEE. doi: 10.1109/icsme64153.2025.00017 |
|
2025 Journal Article VIMA: a privacy-preserving integrity measurement architecture for containerized environmentsJarkas, Omar, Ko, Ryan K. L., Dong, Naipeng and Mahmud, Redowan (2025). VIMA: a privacy-preserving integrity measurement architecture for containerized environments. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025 (4), 1053-1076. doi: 10.46586/tches.v2025.i4.1053-1076 |
|
2025 Journal Article A container security survey: exploits, attacks, and defensesJarkas, Omar, Ko, Ryan, Dong, Naipeng and Mahmud, Redowan (2025). A container security survey: exploits, attacks, and defenses. ACM Computing Surveys, 57 (7) 170, 1-36. doi: 10.1145/3715001 |
|
2025 Journal Article Uncovering API-scope misalignment in the app-in-app ecosystemChe, Jiarui, Guo, Chenkai, Dong, Naipeng, Pei, Jiaqi, Fan, Lingling, Mi, Xun, Xie, Xueshuo, Luo, Xiangyang, Liu, Zheli and Cheng, Renhong (2025). Uncovering API-scope misalignment in the app-in-app ecosystem. Proceedings of the ACM on Software Engineering, 2 (ISSTA), 1933-1954. doi: 10.1145/3728962 |
|
2025 Conference Publication Intelligent data refinement and analysis of real-world cyber attacks on SCADA systemsZhang, Wenlu, Dong, Naipeng, Choi, Taejun, Bai, Guangdong and Ko, Ryan K. L. (2025). Intelligent data refinement and analysis of real-world cyber attacks on SCADA systems. E-Energy '25: The 16th ACM International Conference on Future and Sustainable Energy Systems, Rotterdam, Netherlands, 17-20 June 2025. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3679240.3734654 |
|
2025 Journal Article Fratricide! Hijacking in android multi-windowGuo, Chenkai, Wang, Tianhong, Wang, Qianlu, Dong, Naipeng, Luo, Xiangyang and Liu, Zheli (2025). Fratricide! Hijacking in android multi-window. IEEE Transactions on Dependable and Secure Computing, 22 (3), 3075-3092. doi: 10.1109/tdsc.2024.3524755 |
|
2025 Conference Publication EP-Detector: automatic detection of error-prone operation anomalies in android applicationsGuo, Chenkai, Wang, Qianlu, Dong, Naipeng, Fan, Lingling, Wang, Tianhong, Zhang, Weijie, Chen, Enbao, Liu, Zheli and Yu, Lu (2025). EP-Detector: automatic detection of error-prone operation anomalies in android applications. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), Ottawa, ON, Canada, 27 April - 3 May, 2025. Piscataway, NJ, United States: IEEE (The Institute of Electrical and Electronics Engineers). doi: 10.1109/icse55347.2025.00029 |
|
2025 Conference Publication Don't mess with bro's cheese! An empirical study of resource conflict in android multi-windowGuo, Chenkai, Zhao, Huimin, Wang, Tianhong, Dong, Naipeng, Dong, Qingqing, Che, Jiarui, Qiao, Yaqiong, Luo, Xiangyang and Liu, Zheli (2025). Don't mess with bro's cheese! An empirical study of resource conflict in android multi-window. 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), Seoul, South Korea, 16-20 November 2025. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ASE63991.2025.00178 |
|
2025 Conference Publication Incentivising decentralisation with harberger taxSong, Hans, Dong, Naipeng and Bai, Guangdong (2025). Incentivising decentralisation with harberger tax. 8th International Symposium on Distributed Ledger Technology (SDLT 2024), Brisbane, Qld, Australia, 28-29 November 2024. Singapore: Springer. doi: 10.1007/978-981-96-4442-1_6 |
|
2025 Conference Publication PQS-BC: comparative analysis of NIST post-quantum signatures for blockchainWong, Wan Kai, Dong, Naipeng and Dinh, Cong Minh (2025). PQS-BC: comparative analysis of NIST post-quantum signatures for blockchain. 18th International Conference, NSS 2024, Abu Dhabi, United Arab Emirates, 20-22 November 2024. Singapore: Springer. doi: 10.1007/978-981-96-3531-3_17 |
|
2025 Conference Publication Blockchain based electrical vehicle charging platformZhu, Chensheng, Dong, Naipeng and Bai, Guangdong (2025). Blockchain based electrical vehicle charging platform. 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, 28–29 November 2024. Heidelberg, Germany: Springer. doi: 10.1007/978-981-96-4442-1_7 |
|
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 |
