CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems