About Me
大多时候我做一些休闲编程聊以慰藉,有时在尝试解决问题。
我目前对以下主题感兴趣:
- SAT/SMT 解析器及其高效实现;
- 定理证明器及其应用;
- Web3 相关技术。
另外,我也很喜欢排版技术。
我的简历:https://re.xugr.me;我的日历热力图 CalMap。
经历
- 工程师,复旦大学信息化办公室,复旦大学,2024.8 — ~
- 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: 图床管理器,(DEMO · SERVER)
- EFB-WX Extractor:从微信 EFB 从端数据库获取相关元信息
- Chats (尚未公开):处理、查询、分析、显示本地聊天记录
业余项目
若无其他特殊声明,本站除了所摄照片以外,其他文本内容采用知识共享署名-相同方式共享 4.0 国际许可协议进行许可。