目前我在关注密码算法的实现安全和相关形式化验证技术，同时我也对其他和 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 国际许可协议进行许可。