目前我在關注密碼演算法的實現安全和相關形式化驗證技術,同時我也對其他和 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, 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.
其他
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.
經歷
部分獎項
- 浙江大學新生獎學金,2019
- 浙江大學研究與創新獎學金,2017 — 2018
- 國家二等獎,全國大學生數學建模競賽,2017.9
- 省級一等獎,CPhO(中學生物理競賽),2014.9
許可證
若無其他特殊宣告,本站除了所攝照片以外,其他文字內容採用知識共享署名-相同方式共享 4.0 國際許可協議進行許可。