Quantitative Mitigation of Timing Side Channels.