Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking

Weihang Li, Pete Crowley, Arya Tschand +3

Rigorous quantitative evaluation of microarchitectural side channels is challenging for two reasons. First, the processors, attacks, and defenses often exhibit probabilistic behavi…