Concepedia

Meng Wu

MW

10

Publications

349

Citations

10

H-Index

2012

Active since

Affiliations

Virginia Tech(Current)

University of Southern California

Chinese Academy of Sciences

Meng Wu is an author at Virginia Tech specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceHardware SecurityFormal VerificationProgram AnalysisSoftware AnalysisVerificationFormal MethodsSoftware Testing

Publications per year

2012–2020

10

Publications

10

Eliminating timing side-channel leaks using program repair

Meng Wu, Shengjian Guo, Patrick Schaumont et al. · 2018 · 98 citations

Software Maintenance, Engineering, Information Security +22

Adversarial symbolic execution for detecting concurrency-related cache timing leaks

Shengjian Guo, Meng Wu, Chao Wang · 2018 · 45 citations

Engineering, Information Security, Verification +21

Symbolic execution of programmable logic controller code

Shengjian Guo, Meng Wu, Chao Wang · 2017 · 38 citations

Program Checking, Engineering, Verification +21

Abstract interpretation under speculative execution

Meng Wu, Chao Wang · 2019 · 37 citations

Engineering, Compiler Technology, Computer Architecture +19

SpecuSym

Shengjian Guo, Yueqi Chen, Peng Li et al. · 2020 · 34 citations

Engineering, Computer Architecture, Software Engineering +17

Rows per page

1–5 of 10