@misc{indiciae2d3d1a132768,
  title = {Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking},
  author = {Weihang Li and Pete Crowley and Arya Tschand and Yu Wang and Miroslav Pajic and Daniel Sorin},
  year = {2025},
  url = {https://arxiv.org/abs/2510.02475},
  note = {Source identifier: 2510.02475}
}