A new technical paper titled “Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking” was published by researchers at Duke University, Harvard University and ...