Preventing Page Faults from Telling Your Secrets
CacheAudit: A Tool for the Static Analysis of Cache Side Channels