Xie, Zichen
- KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
2025/03/12 by Yang, Chenyuan, Zhao, Zijie, Xie, Zichen +2 · 11 citations
#Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Operating Systems (cs.OS) #Software Engineering (cs.SE)
- Exploring Automatic Cryptographic API Misuse Detection in the Era of LLMs
2024/07/23 by Xia, Yifan, Xie, Zichen, Liu, Peiyu +4 · 5 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences