vix.ing · top · new · best · stats · spec

Xie, Zichen

  1. 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)
  2. 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