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é: https://re.xugr.me, language versions: /{en|zh|zht}
. Please note that login is required (via GitHub or Email).
Publications
Selected
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.
Others
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.
Experience
- 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
License
Without any additional declarations, texts are licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0).