Leakage Bounds on Cache Side Channels - The Case of AES


We analyze leakage through cache side channels in multiple
implementations of AES. In contrast to most prior work, we employ
static analysis to derive quantitative bounds on the side-channel
leakage from AES implementations. In order to employ static analysis
efficiently,  we developed a tool for the purpose of this research
project. In this talk, we will present the current status of our
project.