Scholar
Naipeng Dong
Google Scholar ID: ZU5ZUnAAAAAJ
The University of Queensland
Formal verification
Security
Privacy
Blockchain
Crypto
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
458
H-index
13
i10-index
15
Publications
20
Co-authors
28
list available
Contact
No contact links provided.
Publications
3 items
XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries
2025
Cited
0
Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library
2025
Cited
0
Anomaly Detection Based on Critical Paths for Deep Neural Networks
2025
Cited
0
Resume (English only)
Co-authors
28 total
Guangdong Bai
Associate Professor of The University of Queensland
Jin Song Dong
Professor of Computer Science, National University of Singapore
Jun Pang
University of Luxembourg
Co-author 4
Ryan Ko
Professor, Chair & Director – Cyber Security, The University of Queensland
Co-author 6
Co-author 7
cyrille Jegourel
SUTD
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up