目前我在关注密码算法的实现安全和相关形式化验证技术,同时我也对其他和 SAT/SMT 解析器高效实现有关的主题感兴趣。



  • STALKER: A Framework to Analyze Fragility of Cryptographic Libraries under Hardware Fault Models
    G. Xu, F. Zhang, X. Zhao, Y. Chen, et al.,
    Proceedings of the 60th ACM/IEEE Design Automation Conference, 7月 2023.

  • Towards Efficiently Establishing Mutual Distrust Between Host Application and Enclave for SGX
    Y. Chen, J. Li, G. Xu, et al.,
    Proceedings of the 31st USENIX Security Symposium, 8月 2022.

  • Pushing the Limit of PFA: Enhanced Persistent Fault Analysis on Block Ciphers
    G. Xu, F. Zhang, B. Yang, X. Zhao, W. He and K. Ren,
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 6月 2021.

  • From Homogeneous to Heterogeneous: Leveraging Deep Learning based Power Analysis on Cross Devices
    F. Zhang, B. Shao, G. Xu, B. Yang, Z. Yang*, Z. Qin, K. Ren,
    Design Automation Conference, 五月 2020.

  • Theoretical Analysis of Persistent Fault Attack
    F. Zhang, G. Xu*, B. Yang, Z. Liang, K. Ren,
    SCIENCE CHINA Information Sciences, 2月 2020.

  • Enhanced Differential Cache Attacks on SM4 with Algebraic Analysis and Error-tolerance
    X. Lou, F. Zhang*, G. Xu, Z. Liang, X. Zhao, S. Guo, K. Ren,
    Information Security and Cryptology, 12月 2019.

  • Persistent Fault Injection in FPGA via BRAM Modification
    Y. Zhang, F. Zhang*, B, Yang, G. Xu, B. Shao, X. Zhao, K. Ren,
    The 2019 IEEE Conference on Dependable and Secure Computing, 9月 2019.



  • 浙江大学新生奖学金,2019
  • 浙江大学研究与创新奖学金,2017 — 2018
  • 国家二等奖,全国大学生数学建模竞赛,2017.9
  • 国家一等奖,CPhO(中学生物理竞赛),2014.9



若无其他特殊声明,本站除了所摄照片以外,其他文本内容采用知识共享署名-相同方式共享 4.0 国际许可协议进行许可。