Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. - Hassan Eldib; Meng Wu 001; Chao Wang 001 (CAV (2), 2016)

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. - Meng Wu 001; Haibo Zeng 001; Chao Wang 001 (NFM, 2016)

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. - Meng Wu 001; Haibo Zeng 001; Chao Wang 001; Huafeng Yu (DAC, 2017)

Symbolic execution of programmable logic controller code. - Shengjian Guo; Meng Wu 001; Chao Wang 001 (ESEC/SIGSOFT FSE, 2017)

Eliminating timing side-channel leaks using program repair. - Meng Wu 001; Shengjian Guo; Patrick Schaumont; Chao Wang 001 (ISSTA, 2018)

Adversarial symbolic execution for detecting concurrency-related cache timing leaks. - Shengjian Guo; Meng Wu 001; Chao Wang 001 (ESEC/SIGSOFT FSE, 2018)

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. - Meng Wu 001; Jingbo Wang 006; Jyotirmoy Deshmukh; Chao Wang 001 (FMCAD, 2019)

Abstract interpretation under speculative execution. - Meng Wu 001; Chao Wang 001 (PLDI, 2019)

Analysis and Enforcement of Properties in Software Systems. - Meng Wu 001 (2019)

Understanding Concurrency Vulnerabilities in Linux Kernel. - Zunchen Huang; Shengjian Guo; Meng Wu 001; Chao Wang 001 (CoRR, 2022)