RR_ megrxu

目前我在關注密碼演算法的實現安全和相關形式化驗證技術,同時我也在探索其他和 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 國際許可協議進行許可。