Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.