Xianhui Lu

Identifiers

• name variant Xianhui Lu 0.60 · backfill

Papers (1)

1. CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes cs.CR · 2026 · author #5

Mentions

• 2606.25561 #5 · arxiv_oai · confidence 0.70 Xianhui Lu

Frequent Coauthors

• Bingzheng Wang 1 shared papers
• Haihui Fan 1 shared papers
• Hengyuan Liu 1 shared papers
• Hongbo Liu 1 shared papers
• Li Zhou 1 shared papers
• Qionglu Zhang 1 shared papers
• Rui Zhang 1 shared papers
• Xiaoyan Gu 1 shared papers
• Zhaoxuan Li 1 shared papers
• Ziming Zhao 1 shared papers