Pengfei Gao

[14] AEGIS: An Agent-based Framework for General Bug Reproduction from Issue Descriptions

Xinchen Wang, Pengfei Gao, Xiangxin Meng, Chao Peng, Ruida Hu, Yun Lin, Cuiyun Gao

arXiv:2411.18015, 2024

[13] An Empirical Study on LLM-based Agents for Automated Bug Fixing

Xiangxin Meng, Zexiong Ma, Pengfei Gao, Chao Peng

arXiv:2411.10213, 2024

[12] MarsCode Agent: AI-native Automated Bug Fixing

Yizhou Liu, Pengfei Gao, Xinchen Wang, Jie Liu, Yexuan Shi, Zhao Zhang, Chao Peng

arXiv:2409.00899, 2024

[11] RepoMasterEval: Evaluating Code Completion via Real-World Repositories

Qinyun Wu, Chao Peng, Pengfei Gao, Ruida Hu, Haoyu Gan, Bo Jiang, Jinhe Tang, Zhiwen Deng, Zhanming Guan, Cuiyun Gao, Xia Liu, Ping Yang

arXiv:2408.03519, 2024

[10] SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits

Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen and Zhilin Wu

IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(4)

[9] Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks

Pengfei Gao, Fu Song and Taolue Chen

ACM Transactions on Software Engineering and Methodology, 33(3): 79:1-79:38, 2024

[8] Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks

Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen and Francois-Xavier Standaert

Proceedings of the ACM on Programming Languages, 7(OOPSLA2): 286:1817–286:1847, 2023

[7] VenomAttack: Automated and Adaptive Activity Hijacking in Android

Pu Sun, Sen Chen, Lingling Fan, Pengfei Gao, Fu Song and Min Yang

Frontiers of Computer Science, 17(1):171801, 1-18, 2023

[6] Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences

Pengfei Gao, Yongjie Xu, Fu Song and Taolue Chen

Frontiers of Computer Science, 16(3):163204, 1-14, 2022

[5] Formal Verification of Masking Countermeasures for Arithmetic Programs

Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song and Taolue Chen

IEEE Transactions on Software Engineering, 48(3): 973-1000, 2022

[4] A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

Pengfei Gao, Hongyi Xie, Fu Song and Taolue Chen

ACM Transactions on Software Engineering and Methodology, 30(3):1-42, 2021

[3] Verifying and Quantifying Side-Channel Resistance of Masked Software Implementations

Pengfei Gao, Jun Zhang, Fu Song and Chao Wang

ACM Transactions on Software Engineering and Methodology, 28(3):16:1-16:32, 2019

[2] Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks

Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song and Taolue Chen

Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS/TACAS), Prague, Czech Republic. April 6-11, 2019

[1] SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks

Jun Zhang, Pengfei Gao, Fu Song and Chao Wang

Proceedings of the 30th International Conference on Computer Aided Verification (CAV), Oxford, UK. July 14-17, 2018