Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking. - Weihang Li; Pete Crowley; Arya Tschand; Yu Wang 044; Miroslav Pajic; Daniel J. Sorin (CoRR, 2025)