Mingxi Ye
Home
Publication

Mingxi Ye's Homepage

alt text 

Mingxi Ye (叶铭熙)
Ph.D Candidiate

School of Software Engineering
Sun Yat-sen University
Panyu District, Guangzhou City, 511436

E-mail: yemx6 [AT] mail2 [DOT] sysu [DOT] edu [DOT] cn
[GitHub] [Google Scholar] [Twitter]

About me

I am currently a Ph.D. candidate supervised by Prof. Zibin Zheng and Prof. Yuhong Nan in Sun Yat-sen University, working on fuzz testing (especially for code with functional bugs), static analysis, and smart contracts. I also play Smart Contract CTF and Code4rena for fun.

Educations

  • Sun Yat-sen University Ph.D candidate in Software Engineering (Advisor: Prof. Zibin Zheng & Prof. Yuhong Nan), since Sept. 2021.

  • Sun Yat-sen University B.Sc. in Mathematics and Applied Mathematics (w/ Outstanding Graduate Award) , from Sept. 2017 to Jun. 2021.

Experiences

  • Research intern in Ant Group. Working on smart contract fuzzing and bug hunting.

Recent news

  • [MetaTrust CTF] September 15, 2023: Our team 0xdd took the 5th place!

  • [Numen Cyper CTF] March 31, 2023: Game was so much fun and we got the 8th place.

  • [ISSTA 2023] January 16, 2023: our work on Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing has been accepted by ISSTA 2023!

Publications

  1. Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing.
    Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li.
    International Symposium on Software Testing and Analysis (ISSTA), July 2023. [TOP] [CCF-A].

  2. Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum.
    Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, Jiachi Chen.
    International Conference on Software Engineering (ICSE), May 2023. [TOP] [CCF-A].

Honors and Awards

Selected Academic Award

  1. Outstanding Graduate Award, Sun Yat-sen University - July, 2021.

  2. Excellent Student Scholarship, Second Price, Sun Yat-sen University.

  3. Duxing Special Scholarship, Sun Yat-sen University.

Selected Capture-The-Flag (CTF)

  1. 5th place at MetaTrust CTF - September, 2023.

  2. 8th place at Numen Cyper CTF - March, 2023.

  3. Winner (with the ant group) at China Trusted Blockchain Security Attack and Defense Competition - September, 2023.

Selected Web3 bugs

  1. Price manipulation bug reported for Asymmetry Finance.

  2. Metamorphic contract bug reported for Basin.

  3. Read-only reentrancy bug reported for Basin.

  4. 20 bugs confirmed by China National Vulnerability Database (CNVD).

Talks

  1. Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing - July 2023.
    The 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), Seattle, United States.

  2. Detection of Smart Contracts Vulnerabilities - April 2023.
    University of Electronic Science and Technology of China, Chengdu, China.

  3. Software Services in Ethereum System - May 2022.
    The Ph.D. Symposium of CCF 15th International Conference on Service Science (CCF-ICSS 2023), Virtually.

Professional Services

Program Committee Member

  1. International Conference on Blockchain and Trustworthy Systems (Blocksys), 2023.

Sub-reviewer

  1. International Symposium on Software Testing and Analysis (ISSTA).

  2. International Conference on the Foundations of Software Engineering (FSE).

  3. ASIA Conference on Computer and Communications Security (ASIACCS).

  4. International Conference on Information and Communications Security (ICICS).

  5. IEEE Transactions on Information Forensics and Security (TIFS).

  6. ACM Transactions on Software Engineering and Methodology (TOSEM).

  7. IEEE Transactions on Services Computing (TSC).