@misc{indiciae9cf9e9441f90,
  title = {SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns},
  author = {Adwait Godbole and Yatin A. Manerkar and Sanjit A. Seshia},
  year = {2024},
  url = {https://arxiv.org/abs/2406.05403},
  note = {Source identifier: 2406.05403}
}