TY  - RPRT
TI  - Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
AU  - Weihang Li
AU  - Pete Crowley
AU  - Arya Tschand
AU  - Yu Wang
AU  - Miroslav Pajic
AU  - Daniel Sorin
PY  - 2025
UR  - https://arxiv.org/abs/2510.02475
ID  - 2510.02475
ER  -