Qian Ke, Chunlu Wang, Haixia Wang, Yongqiang Lyu, Zihan Xu, Dongsheng Wang 0002. Model Checking for Microarchitectural Data Sampling Security. In 7th IEEE International Conference on Data Science in Cyberspace, DSC 2022, Guilin, China, July 11-13, 2022. pages 56-63, IEEE, 2022. [doi]
Abstract is missing.