46 citations · 117 across the 12 of their papers we have counts for
5 papers · 1 filter
Understanding Concurrency Vulnerabilities in Linux Kernel
Zunchen Huang, Shengjian Guo, Meng Wu +1
While there is a large body of work on analyzing concurrency related software bugs and developing techniques for detecting and patching them, little attention has been given to con…
SoK: On the Semantic AI Security in Autonomous Driving
Junjie Shen, Ningfei Wang, Ziwen Wan +10
Autonomous Driving (AD) systems rely on AI components to make safety and correct driving decisions. Unfortunately, today's AI algorithms are known to be generally vulnerable to adv…
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
Shengjian Guo, Yueqi Chen, Peng Li +4
CPU cache is a limited but crucial storage component in modern processors, whereas the cache timing side-channel may inadvertently leak information through the physically measurabl…
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…