SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security.

Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia

Browse the full CCS paper archive.