I am currently working on the implementation security of cryptographic algorithms and their formal verification. I am also interested in other topics related to efficient SAT/SMT solvers.

My résumé:, language versions: /{en|zh|zht}. Please note that login is required (via GitHub or Email).


  • 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, Jul 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, Aug 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, Jun 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, May 2020.

  • Theoretical Analysis of Persistent Fault Attack
    F. Zhang, G. Xu*, B. Yang, Z. Liang, K. Ren,
    SCIENCE CHINA Information Sciences, Feb 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, Dec 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, Sep 2019.


  • Student, Image & Vision Lab, ISEE, Zhejiang University, 2017.8 — 2018.5
  • Design Director, QSC, Zhejiang University, 2017.9 — 2018.6

Selected Awards

  • Scholarship for Newly Admitted Students, 2019
  • Research and Innovation Scholarship, 2017 — 2018
  • Second Prize, Contemporary Undergraduate Mathematical Contest in Modeling, 2017.9
  • First Prize, Chinese Physics Olympiad (CPhO) in Provinces, 2014.9



Without any additional declarations, texts are licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0).