About

Meng Wu is the Chief Security Officer at ZAN, where he is dedicated to securing and optimizing Web3 applications, platforms and businesses. He joined the Blockchain team of Ant Group in July 2019. Prior to ZAN & Ant Group, Meng earned a Ph.D. in Computer Engineering at Virginia Tech, advised by Prof. Chao Wang.

Education

2014-2019 Ph.D. in Computer Engineering, Virginia Tech

2017-2019 Visiting Student at Department of Computer Science, University of Southern California

2008-2012 B.S. in Electric Power Engineering and Automation, Shanghai Jiao Tong University

Publication

[ICSE 23’] Jianfei Zhou, Jiang Tianxing, Haijun Wang, Meng Wu, Ting Chen “DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications” [PDF]

[OOPSLA 20’] Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang, “Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution” [PDF]

[ICSE 20’] Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu and Zhiqiang Zuo, “SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection” [PDF]

[FMCAD 19’] Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh and Chao Wang, “Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems” [PDF]

[PLDI 19’] Meng Wu and Chao Wang, “Abstract Interpretation under Speculative Execution” [PDF]

[ISSTA 18’] Meng Wu, Shengjian Guo, Patrick Schaumont, and Chao Wang, “Eliminating timing side-channel leaks using program repair” [PDF]

[FSE 18’] [Distinguished Paper] Shengjian Guo, Meng Wu, and Chao Wang, “Adversarial symbolic execution for detecting concurrency-related cache timing leaks” [PDF]

[FSE 17’] Shengjian Guo, Meng Wu, Chao Wang, “Symbolic Execution of Programmable Logic Controller Code” [PDF]

[DAC 17’] Meng Wu, Haibo Zeng, Chao Wang and Huafeng Yu, “Safety Guard: Runtime enforcement for safety-critical cyber-physical systems” [PDF]

[NFM 16’] Meng Wu, Haibo Zeng, Chao Wang, “Synthesizing Runtime Enforcer of Safety Specification under Burst Error” [PDF]

[CAV 16’] Hassan Eldib, Meng Wu, Chao Wang, “Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits” [PDF]

Work

  • June 2023 - Present

    ZAN: Chief Security Officer

  • July 2019 - Present

    Ant Group: Blockchain Security Expert

  • May 2016 - Aug 2016

    Microsoft Research Asia: Research Intern
    at Software Analytics Group

  • Aug 2014 - Dec 2014

    Virginia Tech: Teaching Assistant at Open Electronics Lab

  • Sep 2012 - Jun 2014

    Envision Energy: Firmware Engineer for Wind Turbine Converter

Contact

618 Waima Road,Huangpu District Shanghai 200010