Linked Presentation: Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
