About Me
当前研究密码算法的实现安全（主要针对故障分析），同时我对以下主题感兴趣：
- SAT/SMT 解析器及其高效实现；
- 定理证明器及其应用；
- Web3 与去中心化网络。
另外，我很喜欢排版技术。
我的简历：https://re.xugr.me。
经历
- DevOps，浙江大学网络空间安全中心，浙江大学，2019.10 — 2023.7
- 技术主管、核心志愿者，
[scrambled]，杭州， 2017.8 — 2019.7 - 设计中管，求是潮，浙江大学，2017.9 — 2018.6
- DevOps，浙江大学丹阳青溪学园，浙江大学，2017.9 — 2019.6
学术文章
主要
- G. Xu, F. Zhang, X. Zhao, Y. Chen, et al., "STALKER: A Framework to Analyze Fragility of Cryptographic Libraries under Hardware Fault Models", In: Proceedings of the 60th ACM/IEEE Design Automation Conference. 7月 2023.
- Y. Chen, J. Li, G. Xu, et al., "Towards Efficiently Establishing Mutual Distrust Between Host Application and Enclave for SGX", In: Proceedings of the 31st USENIX Security Symposium. 8月 2022.
- G. Xu, F. Zhang, B. Yang, X. Zhao, W. He and K. Ren, "Pushing the Limit of PFA: Enhanced Persistent Fault Analysis on Block Ciphers", In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 6月 2021.
- F. Zhang, B. Shao, G. Xu, B. Yang, Z. Yang*, Z. Qin, K. Ren, "From Homogeneous to Heterogeneous: Leveraging Deep Learning based Power Analysis on Cross Devices", In: Design Automation Conference. 5月 2020.
- F. Zhang, G. Xu*, B. Yang, Z. Liang, K. Ren, "Theoretical Analysis of Persistent Fault Attack", In: SCIENCE CHINA Information Sciences. 2月 2020.
其他
- X. Lou, F. Zhang*, G. Xu, Z. Liang, X. Zhao, S. Guo, K. Ren, "Enhanced Differential Cache Attacks on SM4 with Algebraic Analysis and Error-tolerance", In: Information Security and Cryptology. 12月 2019.
- Y. Zhang, F. Zhang*, B, Yang, G. Xu, B. Shao, X. Zhao, K. Ren, "Persistent Fault Injection in FPGA via BRAM Modification", In: The 2019 IEEE Conference on Dependable and Secure Computing. 9月 2019.
Side Projects
- Imagio (WIP)： 图床管理器
- EFB-WX Extractor：从微信 EFB 从端数据库获取相关元信息
- Chats (尚未公开)：处理、查询、分析、显示本地聊天记录
许可证
若无其他特殊声明，本站除了所摄照片以外，其他文本内容采用知识共享署名-相同方式共享 4.0 国际许可协议进行许可。