Meng Wu

According to our database, Meng Wu authored at least 10 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Understanding Concurrency Vulnerabilities in Linux Kernel.

Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang

CoRR, 2022

2019

Analysis and Enforcement of Properties in Software Systems.

Meng Wu

PhD thesis, 2019

Abstract interpretation under speculative execution.

Meng Wu, Chao Wang

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.

Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.

Shengjian Guo, Meng Wu, Chao Wang

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Eliminating timing side-channel leaks using program repair.

Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Symbolic execution of programmable logic controller code.

Shengjian Guo, Meng Wu, Chao Wang

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.

Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.

Meng Wu, Haibo Zeng, Chao Wang

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits.

Hassan Eldib, Meng Wu, Chao Wang

Proceedings of the Computer Aided Verification - 28th International Conference, 2016