Zhaoxuan Li
Scholar

Zhaoxuan Li

Google Scholar ID: QRd6aDAAAAAJ
Institute of Information Engineering
Google Scholar↗
Citations & Impact
All-time
Citations
443
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
3 items
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
2026
Cited
0
Has the Two-Decade-Old Prophecy Come True? Artificial Bad Intelligence Triggered by Merely a Single-Bit Flip in Large Language Models
2025
Cited
0
A.S.E: A Repository-Level Benchmark for Evaluating Security in AI-Generated Code
2025
Cited
0
Resume (English only)
Co-authors
9 total
Ziming Zhao
Ziming Zhao
Zhejiang University
Fan (Terry) Zhang
Fan (Terry) Zhang
Zhejiang University
Co-author 3
Co-author 3
Jiongchi Yu
Jiongchi Yu
Singapore Management University
Xiaofei Xie
Xiaofei Xie
Singapore Management University
Binbin Chen
Binbin Chen
Singapore University of Technology and Design (SUTD)
Sheng Gao
Sheng Gao
Beijing University of Posts and Telecommunications
Haichao Shi
Haichao Shi
Institute of Information Engineering,Chinese Academy of Sciences