Towards Large Language Model Aided Program Refinement Y Cai, Z Hou, X Luan, DMS Baena, Y Lin, J Sun, JS Dong arXiv preprint arXiv:2406.18616, 2024 | | 2024 |
Formal Verification Techniques for Post-Quantum Cryptography: A Systematic Review Y Xu, Z Li, N Dong, V Kuchta, Z Hou, D Liu | | 2024 |
Unified Feature Engineering for Detection of Malicious Entities in Blockchain Networks JS Tharani, Z Hóu, EYA Charles, P Rathore, M Palaniswami, ... IEEE Transactions on Information Forensics and Security, 2024 | | 2024 |
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation SW Lin, TF Wang, YR Chen, Z Hou, D Sanán, YS Teo International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
Robust integration of blockchain and explainable federated learning for automated credit scoring Z Jovanovic, Z Hou, K Biswas, V Muthukkumarasamy Computer Networks 243, 110303, 2024 | 3 | 2024 |
Insight Analysis for Tennis Strategy and Tactics Z Liu, K Jiang, Z Hou, Y Lin, JS Dong 2023 IEEE International Conference on Data Mining (ICDM), 1169-1174, 2023 | | 2023 |
Linking NFT Transaction Events to Identify Privacy Risks D Zelenyanszki, Z Hóu, K Biswas, V Muthukkumarasamy International Symposium on Distributed Ledger Technology, 82-97, 2023 | | 2023 |
Detecting malicious blockchain transactions using graph neural networks ST Jeyakumar, AC Eugene Yugarajah, Z Hóu, V Muthukkumarasamy International Symposium on Distributed Ledger Technology, 55-71, 2023 | 1 | 2023 |
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning A James Akande, Z Hou, E Foo, Q Li International Conference on Formal Engineering Methods, 273-278, 2023 | | 2023 |
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol B Pillai, Z Hóu, K Biswas, V Muthukkumarasamy International Conference on Formal Engineering Methods, 249-254, 2023 | 1 | 2023 |
Visualizing Blockchain Transaction Behavioural Pattern: A Graph-based Approach S Jeyakumar, Z Hóu, E Yugarajah, A Charles, M PALANISWAMI, ... Authorea Preprints, 2023 | 1 | 2023 |
Feature Engineering for Anomaly Detection and Classification of Blockchain Transactions S Jeyakumar, E Yugarajah, A Charles, P Rathore, M PALANISWAMI, ... Authorea Preprints, 2023 | 1 | 2023 |
A parallel and distributed quantum SAT solver based on entanglement and quantum teleportation SW Lin, TF Wang, YR Chen, Z Hou, D Sanán, YS Teo arXiv preprint arXiv:2308.03344, 2023 | 2 | 2023 |
An Analysis of Zero-knowledge Proof-based Privacy-preserving Techniques for Non-fungible Tokens in the Metaverse D Zelenyanszki, Z Hóu, K Biswas, V Muthukkumarasamy 2023 IEEE International Conference on Metaverse Computing, Networking and …, 2023 | 1 | 2023 |
Security, Privacy and Trust for the Metaverse of Things S Pal, A Vangala, Z Jadidi, Z Hou, AK Das 2023 IEEE International Conference on Metaverse Computing, Networking and …, 2023 | | 2023 |
Encrypted network traffic classification with higher order graph neural network Z Okonkwo, E Foo, Z Hou, Q Li, Z Jadidi Australasian Conference on Information Security and Privacy, 630-650, 2023 | 2 | 2023 |
Sports Analytics Using Probabilistic Model Checking and Deep Learning JS Dong, K Jiang, Z Liu, C Dong, Z Hou, RS Hundal, J Guo, Y Lin 2023 27th International Conference on Engineering of Complex Computer …, 2023 | 1 | 2023 |
Cybersecurity for satellite smart critical infrastructure AJ Akande, E Foo, Z Hou, Q Li Emerging Smart Technologies for Critical Infrastructure, 1-22, 2023 | 2 | 2023 |
Introduction to blockchain technology with Bitcoin protocol B Pillai, JS Tharani, Z Hóu, K Biswas, V Muthukkumarasamy Emerging Smart Technologies for Critical Infrastructure, 119-137, 2023 | | 2023 |
Extracting optimal explanations for ensemble trees via automated reasoning G Zhang, Z Hóu, Y Huang, J Shi, H Bride, JS Dong, Y Gao Applied Intelligence 53 (11), 14371-14382, 2023 | 1 | 2023 |