4 papers
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1
Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…
Abstract Interpretation under Speculative Execution
Meng Wu, Chao Wang
Analyzing the behavior of a program running on a processor that supports speculative execution is crucial for applications such as execution time estimation and side channel detect…
Eliminating Timing Side-Channel Leaks using Program Repair
Meng Wu, Shengjian Guo, Patrick Schaumont +1
We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method…
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Shengjian Guo, Meng Wu, Chao Wang
The timing characteristics of cache, a high-speed storage between the fast CPU and the slowmemory, may reveal sensitive information of a program, thus allowing an adversary to cond…