CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation

Explore a comprehensive presentation on CaSym, a cache-aware symbolic execution technique for detecting and mitigating side channel vulnerabilities. Delve into the intricacies of cache-based side channels, their severity, and existing approaches. Learn about CaSym's unique features, including verification against various attack and cache models, sound analysis of all program execution paths, and novel abstract cache models balancing scalability and precision. Discover how CaSym provides crucial diagnostic information for applying mitigation techniques such as preloading and pinning. Examine the effectiveness of CaSym through evaluations on crypto and database benchmarks, and gain insights into its performance improvements, attack models, and crypto results.

Intro
Cache Side Channels
How Severe is the Problem?
Prior Work
Introducing CaSym
Example: Square & Multiply
Symbolic Execution
Verification
Cache Models
Infinite Model Demo
Age Model Demo
Improving Performance
Attack Models
Crypto Results: Trace
Conclusions