Scholar
Chao Wang
Google Scholar ID: 1w7O-4QAAAAJ
University of Southern California
Citations & Impact
Citations
2,101
H-index
28
i10-index
58
Publications
20
Co-authors
0
Contact
Publications
Resume
Academic Achievements
- Recent talks include:
- Differential Verification of Deep Neural Networks (CMU AI Seminar, 2023)
- Data-Driven Synthesis of a Provably Sound Side-Channel Analysis (Simons Institute, 2021)
- Adversarial Symbolic Execution for Detecting Timing Side-Channel Leaks (Keynote at KLEE Workshop, 2021)
- Synthesizing Runtime Enforcers for Cyber Physical Systems (UC Irvine SE Symposium, 2020)