About Me
Mostly I am doing recreational programming here, sometimes I write codes to solve problems.
Currenly, I am interested in the following topics:
- Efficient implementation of SAT/SMT solvers
- Theorem provers and their applications
- Web3 and decentralized networks
I also love typesetting related stuff.
My résumé: https://re.xugr.me, my calendar maps: CalMap.
Experience
- Engineer,Information Office of Fudan University, Fudan University, 2024.8 — ~
- DevOps, Institute of Cyberspace Research, Zhejiang University, 2019.10 — 2023.7
- Tech Lead/Core Volunteer,
[scrambled]
, Hangzhou, 2017.8 — 2019.7 - Design Director, QSC, Zhejiang University, 2017.9 — 2018.6
- DevOps, Danyang&Qingxi Community, Zhejiang University, 2017.9 — 2019.6
Publications
Selected
- 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. Jul 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. Aug 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. Jun 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. May 2020.
- F. Zhang, G. Xu*, B. Yang, Z. Liang, K. Ren, "Theoretical Analysis of Persistent Fault Attack", In: SCIENCE CHINA Information Sciences. Feb 2020.
Others
- 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. Dec 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. Sep 2019.
Side Projects
- Imagio (WIP): An image hosting manager.
- EFB-WX Extractor: Extracts relevant metadata from WeChat EFB databases.
- Chats (Not yet public): A local chat history viewer.
License
Without any additional declarations, texts are licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0).