Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia. SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security. In Bo Luo, Xiaojing Liao, Jun Xu 0024, Engin Kirda, David Lie, editors, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024. pages 2756-2770, ACM, 2024. [doi]
Abstract is missing.