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.
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
[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]
ZAN: Chief Security Officer
Ant Group: Blockchain Security Expert
Microsoft Research Asia: Research Intern
at Software Analytics Group
Virginia Tech: Teaching Assistant at Open Electronics Lab
Envision Energy: Firmware Engineer for Wind Turbine Converter
618 Waima Road,Huangpu District Shanghai 200010