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.