Meng Wu

14 papers A* 2A 1B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Understanding Concurrency Vulnerabilities in Linux Kernel.
CoRR
Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang
2019 J jnl
Abstract Interpretation under Speculative Execution.
CoRR
Meng Wu, Chao Wang
2019 A* conf
Abstract interpretation under speculative execution.
PLDI
Meng Wu, Chao Wang
2019 — —
Analysis and Enforcement of Properties in Software Systems.
Meng Wu
2019 B conf
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.
FMCAD
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
2019 J jnl
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.
CoRR
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
2018 J jnl
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks.
CoRR
Shengjian Guo, Meng Wu, Chao Wang
2018 — conf
Adversarial symbolic execution for detecting concurrency-related cache timing leaks.
ESEC/SIGSOFT FSE
Shengjian Guo, Meng Wu, Chao Wang
2018 J jnl
Eliminating Timing Side-Channel Leaks using Program Repair.
CoRR
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
2018 A conf
Eliminating timing side-channel leaks using program repair.
ISSTA
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
2017 A* conf
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.
DAC
Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu
2017 — conf
Symbolic execution of programmable logic controller code.
ESEC/SIGSOFT FSE
Shengjian Guo, Meng Wu, Chao Wang
2016 — conf
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits.
CAV (2)
Hassan Eldib, Meng Wu, Chao Wang
2016 — conf
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.
NFM
Meng Wu, Haibo Zeng, Chao Wang